diff options
| author | Andres Noetzli <noetzli@stanford.edu> | 2019-06-03 01:31:48 -0700 |
|---|---|---|
| committer | Andres Noetzli <noetzli@stanford.edu> | 2019-06-03 01:31:48 -0700 |
| commit | d350fe1fb7d64424f780a1e1f60ca0543f39f465 (patch) | |
| tree | 2109017af92838ad5ea97e15897f219abdf59e44 /src/api/cvc4cpp.cpp | |
| parent | 6850c7d04a74e7cb2fb26db4b85af76edce3f616 (diff) | |
[SMT-COMP] No unconstrained simp for QF_LIA UC
`--unconstrained-simp` is not compatible with unsat cores.
Diffstat (limited to 'src/api/cvc4cpp.cpp')
0 files changed, 0 insertions, 0 deletions