swapneils/screamer

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