src/main/scala/leon/solvers/EnumerationSolver.scala · 4e9c02f2242342aee40a30cd071c0555189f463e · 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.
```