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/Makefile.am | |
| 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/Makefile.am')
0 files changed, 0 insertions, 0 deletions