Mon, 28 Jun 2010 18:47:07 +0200 | blanchet | no setup is necessary anymore | changeset | files |
Mon, 28 Jun 2010 18:46:42 +0200 | blanchet | adapt call | changeset | files |
Mon, 28 Jun 2010 18:15:40 +0200 | blanchet | remove obsolete component of CNF clause tuple (and reorder it) | changeset | files |