diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2012-05-30 20:33:40 +0000 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-05-30 20:33:40 +0000 |
commit | 03305bfae27642ed714eab144cf977d1943bb88d (patch) | |
tree | 42e24296848e69a7c6d2f5dd3eed53b518dc1954 /src/theory/bv/Makefile | |
parent | 81b78827f65b42f22f16874bbf0c8269ed0734fc (diff) |
Added BitwiseEq bitvector rewrite
Added option "--repeat-simp" which repeats nonclausal simplification: 4 times,
twice before ite removal and twice after
Enabled these options (plus ite-simp) on QF_AUFBV, obtaining significant
speedup on dwp examples
Diffstat (limited to 'src/theory/bv/Makefile')
0 files changed, 0 insertions, 0 deletions