Age | Commit message (Collapse) | Author | |
---|---|---|---|
2010-05-20 | Added the division symbol to the parser, and minimal support for it in ↵ | Tim King | |
TheoryArith. Also directly hacked in support for theoryOf() to work for equalities where the left hand is a variable of type real. | |||
2010-05-14 | Adding rudimentary ITE handling in CnfStream | Christopher L. Conway | |