16 lines
638 B
Text
16 lines
638 B
Text
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.
|
|
|
|
WWW: http://www.cis.upenn.edu/~screamer-tools/
|
|
|
|
Built to run with CMU Common Lisp.
|
|
Installed in CMUCL's subsystem directory.
|
|
|
|
/usr/local/share/screamer contains lisp source and documentation.
|
|
|
|
- Scott Flatman <sf@slappy.org>
|