epfl-lara / ScalaZ3Links
DSL in Scala for Constraint Solving with Z3 SMT Solver
☆126Updated 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☆164Updated last year
- Solver for higher-order functional programs, used by Stainless☆92Updated 4 months ago
- Verification framework and tool for higher-order Scala programs☆382Updated 2 months ago
- The CafeSat SMT solver for Scala☆48Updated 3 years ago
- Scala library for parsing and printing the SMT-LIB format