nikodemus/ screamer

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

View project on GitHub

  • 2020-10-03 20:59:44 UTC - Planned check