diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-06-03 16:15:54 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-03 16:15:54 -0700 |
| commit | 23baea2452d765bb76bd576b4cd01dd67215d095 (patch) | |
| tree | 2109017af92838ad5ea97e15897f219abdf59e44 /contrib/run-script-sygusComp2018-CLIA | |
| parent | 6850c7d04a74e7cb2fb26db4b85af76edce3f616 (diff) | |
[SMT-COMP] No unconstrained simp for QF_LIA UC (#3039)
`--unconstrained-simp` is not compatible with unsat cores.
Diffstat (limited to 'contrib/run-script-sygusComp2018-CLIA')
0 files changed, 0 insertions, 0 deletions