diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-06-04 08:14:30 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-06-04 08:14:36 +0200 |
| commit | 32cda667fac11b1768ed75d930cb5b0e6933ffe5 (patch) | |
| tree | 909ec2de9ee931f56a84dfbe68ebc110f0a95a61 /contrib/run-script-smteval2013 | |
| parent | 0fde4ed8bcaa5dabd92ba9079455ca12df9ba2ec (diff) | |
Minor changes to smt comp script for quantified arith. Add option --cbqi-sat whether to disable sat for quantified arith.
Diffstat (limited to 'contrib/run-script-smteval2013')
0 files changed, 0 insertions, 0 deletions