/screamer

Screamer is an extension of Common Lisp that adds support for nondeterministic programming.

Primary LanguageCommon LispOtherNOASSERTION

Issues