nikodemus/ screamer

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

View project on GitHub