diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-08-27 17:27:57 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-08-27 17:27:57 +0200 |
| commit | 0ddf1b9c74f2b2a78e0960b710c2edbdc5f8d02d (patch) | |
| tree | 523a7c7ec9bfefd4297c5d8f56ef0ff474045d73 /contrib/README | |
| parent | d4a7b0cf0500e971c9c01e7628f3c1b567715059 (diff) | |
Do ITE term bookkeeping when solving Sygus inputs. Add missing script from Sygus comp 2015. Fix bug 665 regarding strings rewriter for contains.
Diffstat (limited to 'contrib/README')
0 files changed, 0 insertions, 0 deletions