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 /freebsd-ports-gnome' title='freebsd-ports-gnome Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Update graphics/pecl-imagick to 3.4.4mm2019-06-092-5/+4
* Switch pecl-imagick back to ImageMagick 6.mm2019-03-201-6/+8
* graphics/pecl-imagck: switch to ImageMagick 7mm2019-03-191-3/+3
* Update ImageMagick to 6.9.10.14 [1]kwm2018-11-111-3/+3
* ImageMagick to 6.9.9-15.kwm2017-09-281-1/+1
* Chase ImageMagick shlib bumpkwm2017-05-261-0/+1
* Convert all PECL ports to USES=php:pecl.mat2017-04-101-4/+1
* Update graphics/pecl-imagick to 3.4.3mm2017-02-022-4/+4
* Update pecl-imagick to 3.4.2mm2017-01-28