diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-05-10 14:33:08 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-05-10 14:33:15 -0500 |
| commit | 33e781995fb1384473fdec386c981a4aeb50b356 (patch) | |
| tree | 286c18e5e330b110ae3b8126e265811fe0d0688e /doc/cvc4.5.in | |
| parent | c15ff43597b41ea457befecb1b0e2402e28cb523 (diff) | |
Add smt comp 2016 scripts. Fix for --relevant-triggers. Add minor optimizations to sygus and qcf.
Diffstat (limited to 'doc/cvc4.5.in')
0 files changed, 0 insertions, 0 deletions