descriptionNondeterministic programming in Common Lisp
ownernikodemus+repo.or.cz@random
last changeSun, 27 Apr 2008 09:40:57 +0000 (27 12:40 +0300)
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
2008-04-27 Nikodemus Siivoladocument KNOWN?
2008-04-26 Nikodemus Siivoladocument ASSERT!
2008-04-26 Nikodemus Siivoladocument BOOLEANPV
2008-04-26 Nikodemus Siivoladocument MEMBERV
2008-04-26 Nikodemus Siivolafix whitespace in screams.lisp
2008-04-26 Nikodemus Siivolaremove obsolete conditionalizations from screams.lisp
2008-04-26 Nikodemus Siivoladocument INTEGERPV
2008-04-26 Nikodemus Siivoladocument REALPV
2008-04-26 Nikodemus Siivoladocument NUMBERPV
2008-04-26 Nikodemus Siivoladocument MAKE-VARIABLE
2008-04-26 Nikodemus Siivoladocument A-MEMBER-OF and AN-INTEGER-BETWEEN
2008-04-26 Nikodemus Siivoladocument PURGE and UNWEDGE-SCREAMER
2008-04-26 Nikodemus Siivoladocument APPLY-NONDETERMINISTIC
2008-04-26 Nikodemus Siivoladocument FUNCALL-NONDETERMINISTIC
2008-04-26 Nikodemus Siivoladocument PRINT-VALUES
...
heads
9 years ago master