/ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

Primary LanguageScalaApache License 2.0Apache-2.0

Stargazers