((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[plt-planet-announce] Updated PLaneT package: ianj/smt-solver.plt for 4.x

From: PLaneT (planet at racket-lang.org)
Date: Mon Dec 13 14:21:05 EST 2010		 
This announces the availability of an updated package from PLaneT:

-------
Name:            smt-solver.plt
Package version: 1.1
Owner:           ianj


Package Description
An implementation of the DPLL(T) framework.
Release Notes

0.1 (1 0) - first release

-------

Go to 

http://planet.racket-lang.org/display.ss?package=smt-solver.plt&owner=ianj

for more information.
Posted on the planet-announce mailing list.