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 /src/options/arith_unate_lemma_mode.h | |
| parent | c15ff43597b41ea457befecb1b0e2402e28cb523 (diff) | |
Add smt comp 2016 scripts. Fix for --relevant-triggers. Add minor optimizations to sygus and qcf.
Diffstat (limited to 'src/options/arith_unate_lemma_mode.h')
0 files changed, 0 insertions, 0 deletions