Sat, 31 Jul 2010 22:02:54 +0200 | blanchet | change the order of the SAT solvers, from fastest to slowest | changeset | files |
Sat, 31 Jul 2010 16:39:32 +0200 | blanchet | started implementation of custom sym break | changeset | files |
Sat, 31 Jul 2010 12:29:56 +0200 | blanchet | clarify Nitpick's output in case of a potential counterexample | changeset | files |