src/main/scala/leon/solvers/smtlib/SMTLIBZ3Target.scala · a0474680f6b64d3441199dfad90ff2124ee2b4f8 · LARA / inox · GitLab

Snippets Groups Projects

10 years ago
a0474680
Implement maps for CVC4, now that it supports constant arrays · a0474680
Etienne Kneuss authored 10 years ago
```
reactivate tests for CVC4, if available. Remove non-linear testcase that
worked only on z3 (SumAndMax)
```
a0474680

History
Implement maps for CVC4, now that it supports constant arrays
Etienne Kneuss authored 10 years ago
```
reactivate tests for CVC4, if available. Remove non-linear testcase that
worked only on z3 (SumAndMax)
```

SMTLIBZ3Target.scala 6.11 KiB