Package: sat4j Version: 2.0.2 SAT4J 2.0.2 fixes a few minor issues in the code of both the core solver and the pseudo boolean solver.
--
Daniel Le Berre mailto:[EMAIL PROTECTED]
MCF, CRIL-CNRS UMR 8188, Universite d'Artois
http://www.cril.univ-artois.fr/~leberre
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
