Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
Primary LanguageCommon LispOtherNOASSERTION
No one’s star this repository yet.