Sun, 01 Aug 2010 18:57:49 +0200 | blanchet | fix bug with Kodkodi < 1.2.14 | changeset | files |
Sun, 01 Aug 2010 17:43:51 +0200 | blanchet | merged | changeset | files |
Sun, 01 Aug 2010 16:40:48 +0200 | blanchet | document new Nitpick options | changeset | files |
Sun, 01 Aug 2010 16:35:25 +0200 | blanchet | tweak datatype sym break code | changeset | files |
Sun, 01 Aug 2010 15:51:25 +0200 | blanchet | added manual symmetry breaking for datatypes | changeset | files |
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 |