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/term_registration_visitor.h | |
| parent | f2335d2b64dc0c7e521aea6ea29088b8de7a3ca0 (diff) | |
reverted the core solver to do static slicing, added option --bv-core-solver
Diffstat (limited to 'src/theory/term_registration_visitor.h')
0 files changed, 0 insertions, 0 deletions