Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
Repository Index
81,588 visible repositories in the index
1–1 of 1 · Most stars
81,588 visible repositories in the index
1–1 of 1 · Most stars
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.