| Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | added ML code for testing entire theories for monotonicity | changeset | files |
| Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | use ML SAT solvers up to a certain time limit, then switch to faster solvers with a timeout -- this becomes necessary with the new, more powerful monotonicity calculus | changeset | files |
| Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | added examples to exercise new monotonicity code | changeset | files |