Wed, 04 Aug 2010 23:27:27 +0200 | blanchet | Cycle breaking in the bounds takes care of singly recursive datatypes, so we don't need to do it again; | changeset | files |
Wed, 04 Aug 2010 22:47:52 +0200 | blanchet | avoid "<=>" in sym break constraint generation (since these are SAT-unfreundlich) + fix "epsilon2" to "epsilon1" (subtle bug) | changeset | files |
Wed, 04 Aug 2010 21:56:17 +0200 | blanchet | improve datatype symmetry breaking; | changeset | files |