diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-05-28 22:17:04 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-05-28 22:17:04 +0000 |
| commit | c5f652834b915641ae6cbeccf97e959470757863 (patch) | |
| tree | e3fb985b65f35dbf0c070d4a0f19b9f9f86a0bdd /.settings | |
| parent | 07f9271bf426f9ed40bd0d01e4e77a17fa217e23 (diff) | |
This update enables TheoryArith to accept assertions that rewrite to true or false. This is temporary and will be removed once TheoryEngine rewriting is more fully debugged.
Diffstat (limited to '.settings')
0 files changed, 0 insertions, 0 deletions