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

From: PLaneT (planet at racket-lang.org)
Date: Fri Dec 17 17:14:20 EST 2010

This announces the availability of an updated package from PLaneT:

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

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

0.2 (1 1) - Second release. The core solver now supports clause forgetting and random restarts. The interface had been changed slightly to take a random seed.

0.1 (1 0) - First release


Go to 


for more information.

Posted on the planet-announce mailing list.