Package smt_solver.plt contributed by ianj [docs]
To load: (require (planet ianj/smt_solver:1:0/smt-solve))
Old style:(require (planet "smt-solve.rkt" ("ianj" "smt_solver.plt" 1 0)))
Min Racket version: 4.0
Package description:
An implementation of the DPLL(T) framework.
Downloads this week: 0
Total downloads: 0
Tickets:0
Open tickets:0
Primary files:
[no interface available]
 Current version
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 0)0.1
0
4.02010-12-13
To load: (require (planet ianj/smt_solver:1:0/smt-solve))
Available in repositories: 4.x

0.1 (1 0) - first release

No Tickets Currently open for this Package [New Ticket]