diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2012-04-20 23:30:08 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-04-20 23:30:08 +0000 |
| commit | 04e81f6d12cad8f2519aa6c94adee52aadd71ec3 (patch) | |
| tree | 60f35b29006f8e00fbbb3de1ca25797d510cc23d /src/prop/theory_proxy.h | |
| parent | b0c2cebecbd6b7d2a7804cf5dcc92bb8a27b1857 (diff) | |
Updates to array theory - much more lazy about introduction of reads
Also disabled eager lemmas - slows down QF_AX but gets new examples in QF_AUFBV
Diffstat (limited to 'src/prop/theory_proxy.h')
0 files changed, 0 insertions, 0 deletions