?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork

 
descriptionNondeterministic programming in Common Lisp
ownernikodemus+repo.or.cz@random
last changeSun, 27 Apr 2008 09:40:57 +0000 (27 12:40 +0300)
URLgit://repo.or.cz/screamer.git
https://repo.or.cz/screamer.git
push URLssh://repo.or.cz/screamer.git
https://repo.or.cz/screamer.git (learn more)
bundle infoscreamer.git downloadable bundles
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 DECIDEmaster 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
16 years ago master log | tree
Nondeterministic programming in Common Lisp