epfl-lara / ScalaZ3Links
DSL in Scala for Constraint Solving with Z3 SMT Solver
☆124Updated 2 years ago
Alternatives and similar repositories for ScalaZ3
Users that are interested in ScalaZ3 are comparing it to the libraries listed below
Sorting:
- The Leon system for verification, synthesis, repair☆163Updated last year
- Solver for higher-order functional programs, used by Stainless