PLaneT Package Repository : PLaneT > ianj > smt

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
Tickets:	0
Open tickets:	0
Primary files:	smt-solve.rkt [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 version	External version	Source	DLs	Docs	Req. PLT	Date added
(1 0)	0.1	[browse]	0	[docs]	4.0	2010-12-13
To load: `(require (planet "smt-solve.rkt" ("ianj" "smt_solver.plt" 1 (= 0))))`
Available in repositories: 4.x
0.1 (1 0) - first release