repo.or.cz / screamer.git / summary
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork

 
descriptionNondeterministic programming in Common Lisp
ownernikodemus repo.or.cz@random
last changeSun, 27 Apr 2008 09:40:57 +0000
URLgit://repo.or.cz/screamer.git
http://repo.or.cz/r/screamer.git
Push URLssh://repo.or.cz/srv/git/screamer.git
Content tags:
Add:
readme
Screamer was originally developed by Jeffrey Siskind and David McAllester. Mr. Siskind kindly has given permission to distribute it under MIT license. This repository contains so far only fairly trivial cleanups (support for Symbolics, AKCL, etc. has been stripped), and light modifications to make it run in an ANSI Common Lis, plus some documentation strings copied over from screamer.ps.
shortlog
2008-04-27 Nikodemus Siivoladocument DECIDE master commit | commitdiff | tree | snapshot (tar.gz zip)
2008-04-27 Nikodemus Siivoladocument KNOWN? commit | commitdiff | tree | snapshot (tar.gz zip)
2008-04-26 Nikodemus Siivoladocument ASSERT! commit | commitdiff | tree | snapshot (tar.gz zip)
2008-04-26 Nikodemus Siivoladocument BOOLEANPV commit | commitdiff | tree | snapshot (tar.gz zip)
2008-04-26 Nikodemus Siivoladocument MEMBERV commit | commitdiff | tree | snapshot (tar.gz zip)
2008-04-26 Nikodemus Siivolafix whitespace in screams.lisp commit | commitdiff | tree | snapshot (tar.gz zip)
2008-04-26 Nikodemus Siivolaremove obsolete conditionalizations from screams.lisp commit | commitdiff | tree | snapshot (tar.gz zip)
2008-04-26 Nikodemus Siivoladocument INTEGERPV commit | commitdiff | tree | snapshot (tar.gz zip)
2008-04-26 Nikodemus Siivoladocument REALPV commit | commitdiff | tree | snapshot (tar.gz zip)
2008-04-26 Nikodemus Siivoladocument NUMBERPV commit | commitdiff | tree | snapshot (tar.gz zip)
2008-04-26 Nikodemus Siivoladocument MAKE-VARIABLE commit | commitdiff | tree | snapshot (tar.gz zip)
2008-04-26 Nikodemus Siivoladocument A-MEMBER-OF and AN-INTEGER-BETWEEN commit | commitdiff | tree | snapshot (tar.gz zip)
2008-04-26 Nikodemus Siivoladocument PURGE and UNWEDGE-SCREAMER commit | commitdiff | tree | snapshot (tar.gz zip)
2008-04-26 Nikodemus Siivoladocument APPLY-NONDETERMINISTIC commit | commitdiff | tree | snapshot (tar.gz zip)
2008-04-26 Nikodemus Siivoladocument FUNCALL-NONDETERMINISTIC commit | commitdiff | tree | snapshot (tar.gz zip)
2008-04-26 Nikodemus Siivoladocument PRINT-VALUES commit | commitdiff | tree | snapshot (tar.gz zip)
...
heads
3 years ago master log | tree
Nondeterministic programming in Common Lisp