Sat, 31 Jul 2010 01:23:51 +0200 | blanchet | added support for CryptoMiniSat | changeset | files |
Fri, 30 Jul 2010 18:28:18 +0200 | blanchet | gracefully handle the case where no integers occur in the formula and the "max" option is used | changeset | files |
Sun, 01 Aug 2010 10:26:55 +0200 | bulwahn | merged | changeset | files |