Mon, 19 Sep 2005 23:45:59 +0200 | webertj | SAT solver interface modified to support proofs of unsatisfiability | changeset | files |
Mon, 19 Sep 2005 23:23:51 +0200 | wenzelm | shrink: compress terms and types; | changeset | files |
Mon, 19 Sep 2005 23:22:51 +0200 | wenzelm | added String.isSuffix; | changeset | files |