src/main/scala/leon/solvers/NaiveAssumptionSolver.scala · 71a5144de93cb2eb18998fb0715570fb05447f8d · 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.
```