build.sbt · 5dad01db7d13050f6fefe82282f86ea2e4311c84 · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
5dad01db
Implement basic sygus, only possible in --manual mode for now · 5dad01db
Etienne Kneuss authored 9 years ago
```
Split SMTLIBSolver to Solver+Target to allow things other than leon
solvers to talk SMT.
```
5dad01db

History
Implement basic sygus, only possible in --manual mode for now
Etienne Kneuss authored 9 years ago
```
Split SMTLIBSolver to Solver+Target to allow things other than leon
solvers to talk SMT.
```