nikodemus / screamer

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

http://nikodemus.github.io/screamer/

nikodemus/screamer Watchers