diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-02-22 08:59:03 +0100 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-02-22 08:59:09 +0100 |
commit | 48bc3c425947542ca1a337e08044c8f745600690 (patch) | |
tree | cc08928a21cb4d8c81d2d8ab338a65fe7cca5128 /src/smt/boolean_terms.h | |
parent | d2b44175c45a6d2c2fa9c3f8ec1ca1c433cb399b (diff) |
New trigger options. --inst-no-entail on by default. Misc cleanup.
Diffstat (limited to 'src/smt/boolean_terms.h')
0 files changed, 0 insertions, 0 deletions