diff options
| author | Andres Nötzli <andres.noetzli@gmail.com> | 2017-06-21 09:25:11 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-21 09:25:11 -0700 |
| commit | 6fc4709d5791f26be69cbb4b215db04da7a559b3 (patch) | |
| tree | c55a58b1ae77f7e0b69e4002f1985d8d74708ed1 /src/printer/smt2 | |
| parent | 04eb812bb229c2bb04dd384dcad913387ea4d372 (diff) | |
Add run script for unsat cores track at SMT-COMP (#177)
Note: this was a last minute effort, so we do not use the portfolio build for
this track. This part for example:
https://github.com/CVC4/CVC4/blob/d43e5fb294d89ba69f7d2607a12c8700b7ec9345/src/main/command_executor_portfolio.cpp#L351-L355
Would have to change before we can enable use the portfolio build for unsat
cores in a competition build.
Diffstat (limited to 'src/printer/smt2')
0 files changed, 0 insertions, 0 deletions