diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2013-03-13 20:37:57 -0400 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2013-03-13 20:37:57 -0400 |
commit | c03a972a85d565f10953ee58ec809f1751063f8e (patch) | |
tree | af901613c5f58dbfc5e0272167e041d6650497c9 /src/proof | |
parent | 63c1d547b7598e3dba35f865ba3749c15a105a6f (diff) |
Added a rewrite for iff:
x = c iff x = d ---> false
This fixes Andy's problem if unconstrained simplification is turned on.
Diffstat (limited to 'src/proof')
0 files changed, 0 insertions, 0 deletions