| Mon, 06 Dec 2010 13:33:09 +0100 | blanchet | removed old baggage from monotonicity calculus -- the "calculus" option didn't really work anyway because of on-the-fly simplifications | changeset | files |
| Mon, 06 Dec 2010 13:33:05 +0100 | blanchet | implemented All rules from new monotonicity calculus | changeset | files |
| Mon, 06 Dec 2010 13:30:57 +0100 | blanchet | fixed bug in clause handling in monotonicity code, whereby the unsound rule False | x <--> False was used to simplify constraints | changeset | files |