https://github.com/nikodemus/screamer
Common Lisp213
last year
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
Other