Sat, 31 Jul 2010 12:29:56 +0200 | blanchet | clarify Nitpick's output in case of a potential counterexample | changeset | files |
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 |