screamer
screamer copied to clipboard
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.