diff options
author | Tim King <taking@cs.nyu.edu> | 2012-06-13 20:37:43 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-06-13 20:37:43 +0000 |
commit | d0b33af0cf910ca7adb0357dad13e7e88baedebc (patch) | |
tree | fc9c1fae8b7c4e9a26656e81314800852996e2f6 /test/regress/regress0/uflia/diseqprop.06.smt | |
parent | 6acb8e96739df11859d3bca8a9e67bdaff5600c6 (diff) |
- Added a loop to internally assert constraints that are marked as true.
- Changes how CongruenceManager reports conflicts.
- ConstraintDatabase can now detect and raise conflicts when doing unate propagation.
Diffstat (limited to 'test/regress/regress0/uflia/diseqprop.06.smt')
0 files changed, 0 insertions, 0 deletions