This package is not available in the 3xx repository. Showing package versions available for all repositories instead.
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
Open tickets:0
Primary files:
[no interface available]
 Packages in other repositories

These packages are not available in the 3xx repository, but they are available for other versions of Racket.

PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 0)0.1
To load: (require (planet "smt-solve.rkt" ("ianj" "smt_solver.plt" 1 (= 0))))
Available in repositories: 4.x

0.1 (1 0) - first release