src/main/scala/leon/solvers/NaiveAssumptionSolver.scala · 2ab66e882ecc1ac6c3febe6b537f8a750b45c232 · LARA / inox · GitLab

Snippets Groups Projects

11 years ago
340cd1bc
EnumerationSolver/Portfolio extends Incremental+Assumption · 340cd1bc
Etienne Kneuss authored 11 years ago
```
This allows us to use them in synthesis. Expose --solvers=..
option for synthesis.
```
340cd1bc

History
EnumerationSolver/Portfolio extends Incremental+Assumption
Etienne Kneuss authored 11 years ago
```
This allows us to use them in synthesis. Expose --solvers=..
option for synthesis.
```