screamer
所属分类：collect
开发工具：Common Lisp
文件大小：0KB
下载次数：0
上传日期：2023-02-10 01:46:41
上 传 者：
sh-1993
说明： Screamer是CommonLisp的扩展，增加了对非确定性编程的支持。，
(Screamer is an extension of Common Lisp that adds support for nondeterministic programming.,)
文件列表:
.travis.yml (388, 2021-07-11)
ChangeLog.old (17437, 2021-07-11)
LICENSE (2574, 2021-07-11)
Makefile (798, 2021-07-11)
TODO (4877, 2021-07-11)
doc/ (0, 2021-07-11)
doc/Makefile (978, 2021-07-11)
doc/examples/ (0, 2021-07-11)
doc/examples/Makefile (266, 2021-07-11)
doc/examples/einstein.lisp (6574, 2021-07-11)
doc/examples/sudoku.lisp (3375, 2021-07-11)
doc/examples/zebra.lisp (6042, 2021-07-11)
doc/screamer.texinfo (19368, 2021-07-11)
doc/style.css (501, 2021-07-11)
equations.lisp (11468, 2021-07-11)
iscream.el (1592, 2021-07-11)
package.lisp (3825, 2021-07-11)
papers/ (0, 2021-07-11)
papers/aaai93.dvi (46516, 2021-07-11)
papers/aaai93.pdf (158308, 2021-07-11)
papers/aaai93.ps (149473, 2021-07-11)
papers/aucs-98-12.pdf (109655, 2021-07-11)
papers/ircs-93-03.dvi (36496, 2021-07-11)
papers/ircs-93-03.pdf (155960, 2021-07-11)
papers/ircs-93-03.ps (167319, 2021-07-11)
papers/screamer.dvi (197688, 2021-07-11)
papers/screamer.pdf (346521, 2021-07-11)
papers/screamer.ps (381391, 2021-07-11)
primordial.lisp (30014, 2021-07-11)
screamer-tests.asd (1967, 2021-07-11)
screamer.asd (2102, 2021-07-11)
screamer.lisp (318228, 2021-07-11)
screams.lisp (23634, 2021-07-11)
tests.lisp (7346, 2021-07-11)
... ...
近期下载者：
相关文件：
收藏者：