Package logic.plt contributed by pjmatos [docs]
To load: (require (planet pjmatos/logic:1:1/<<file>>))
Old style:(require (planet "[file]" ("pjmatos" "logic.plt" 1 1)))
Package description:
Functions for logic formulas (as s-expr) manipulation.Also includes functions to generate CNF and system interface to SAT solvers.
Downloads this week: 0
Total downloads: 40
Tickets:1
Open tickets:0
Primary files:
 Current version
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 1)0.01 alpha
37
[none]2007-10-09
To load: (require (planet pjmatos/logic:1:1/<<file>>))
Available in repositories: 4.x, 3xx
First pre-alpha library of logic utilities.No docs available. (hope to solve that soon enough)
No Tickets Currently open for this Package [New Ticket]

 Old versions
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 0)0.01 alpha
3
[none]2007-10-09
To load: (require (planet "[file]" ("pjmatos" "logic.plt" 1 (= 0))))
Available in repositories: 4.x, 3xx
First pre-alpha library of logic utilities.No docs available. (hope to solve that soon enough)