diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-09-18 00:04:26 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-09-18 00:04:26 +0200 |
| commit | 1aaf70f23d8f2061e5c05ca98d12deea06494a25 (patch) | |
| tree | 5e8d5c889930cfe368c26c0211a8d3c4ed162004 /src/theory/theoryof_mode.h | |
| parent | 548582b252170f35a602705a109d88a608611cca (diff) | |
Allow most smt2 commands as sygus commands. Fix bug in fmf-fun regarding quantified formulas with non-constant polarity.
Diffstat (limited to 'src/theory/theoryof_mode.h')
0 files changed, 0 insertions, 0 deletions