diff options
author | lianah <lianahady@gmail.com> | 2013-03-27 17:48:39 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2013-03-27 17:48:39 -0400 |
commit | 2d091366f7d437c3839307b1ad732a6999333fe0 (patch) | |
tree | 2c732988e40f59a66ec016791325cb244ce5fb08 /src/theory/arrays/theory_arrays.h | |
parent | f2335d2b64dc0c7e521aea6ea29088b8de7a3ca0 (diff) |
reverted the core solver to do static slicing, added option --bv-core-solver
Diffstat (limited to 'src/theory/arrays/theory_arrays.h')
0 files changed, 0 insertions, 0 deletions