Screamer+?

[kenny]

Very cool that Screamer is getting dusted off!

I was going to ask why you did not start from Screamer+, but then I
could not find any links to it! :) Was that a dead end?

kt

[sfr...@cs.tu-berlin.de]

Hi Kenny,

I can't speak for Nikodemus, but Screamer+ is just an extension to enable
the logic/backtracking machinery on additional data structures. It still
requires Screamer to run.

[Nikodemus Siivola]

On 8 November 2010 08:12, kenny <kent...@gmail.com> wrote:

> I was going to ask why you did not start from Screamer+, but then I

Long story short, I didn't know about Screamer+ at first, and got
permission to re-license classic Screamer under an MIT-style license
from Jeffrey Siskind.

I've recently been in touch with Simon White (the Screamer+ author),
asking if I could do that for Screamer+ too: it comes with a "do not
distribute or use commercially" license.

He appeared positive, but said he'd need to check with his old university first.

We'll see...

Cheers,

-- Nikodemus