diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-08-24 18:34:25 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-08-24 18:34:25 +0200 |
| commit | d7dc7c2b3038b862af5ea55e7cf6b1fc4e1fe684 (patch) | |
| tree | d6c229a2659bfcb3cdf7c7c786414ecc1e59e61c /src/theory/options | |
| parent | 1ec95c559074ed7575a0165deb16fcee45920e9f (diff) | |
Improvements to vts in cbqi, bug fix vts for non-atomic terms containing vts symbols. Move presolve for sygus to cbqi. Enable --cbqi-recurse by default, add option --cbqi-min-bound. Enable qcf for finite model finding by default.
Diffstat (limited to 'src/theory/options')
0 files changed, 0 insertions, 0 deletions