< Scala

Share Share Share

Awesome Scala Logic Programming and Type Constraints

• leon 162

  

  | updated 8 months ago | Other

  The Leon system for verification, synthesis, repair

• ScalaZ3 122

  

  | updated over 1 year ago | Apache License 2.0

  DSL in Scala for Constraint Solving with Z3 SMT Solver