* Daniel Le Berre <[EMAIL PROTECTED]> [2008-08-05 23:51]: > 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.
CCing the maintainer since this package is still in NEW. -- Martin Michlmayr http://www.cyrius.com/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
