Please add screamer-plus

[trollusk]

Provides extensions to increase the expressiveness of Screamer. Screamer (already included in Quicklisp distribution) is an extension of Common Lisp that adds support for nondeterministic programming.

Project page: https://github.com/ysz/screamer-plus

[quicklisp]

How does it differ from screamer?

[trollusk]

Screamer only allows constraints on numeric variables. Screamer+ generalises the constraint mechanism to work on lists and CLOS objects.

[quicklisp]

I can't build it - it gives the error that package "C2MOP" is not found. Is there an implicit dependency somewhere?

[trollusk]

It looks like it depends on "Closer to MOP" but doesn't list it as a dependency in the ASD file. I have created an issue here: https://github.com/ysz/screamer-plus/issues/2