| Thu, 21 May 2009 15:25:26 +0100 | webertj | implementation of definitional CNF improved | changeset | files |
| Thu, 21 May 2009 15:23:32 +0100 | webertj | write_dimacs_{sat,cnf}_file now write the DIMACS file on the fly, without building it in memory first | changeset | files |
| Wed, 20 May 2009 22:24:07 +0200 | haftmann | fixed typo | changeset | files |
| Wed, 20 May 2009 22:24:07 +0200 | haftmann | experimental values command | changeset | files |
| Wed, 20 May 2009 22:24:07 +0200 | haftmann | added Predicate.map | changeset | files |
| Wed, 20 May 2009 15:35:22 +0200 | haftmann | merged | changeset | files |
| Wed, 20 May 2009 15:35:13 +0200 | haftmann | tuned | changeset | files |
| Wed, 20 May 2009 15:35:13 +0200 | haftmann | adjusted to changes in Quickcheck.thy | changeset | files |