Screamer

Search:

Screamer

An extension of Common Lisp providing nondeterministic backtracking and constraint programming.

(ftp://ftp.ai.mit.edu/pub/screamer.tar.Z).

[Isn't all backtracking nondeterministic by definition?]