- Screamer Tool Repository: Screamer is an extension of Common Lisp
that adds support for nondeterministic programming. Screamer
consists of two levels. The basic nondeterministic level adds
support for backtracking and undoable side effects. On top of this
nondeterministic substrate, Screamer provides a comprehensive
constraint programming language in which one can formulate and solve
mixed systems of numeric and symbolic constraints.
- GECODE: The Generic Constraint Development Environment. Gecode
is an open, free, portable, accessible, and efficient environment
for developing constraint-based systems and applications.
Implemented in C++.