search

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver
Apache License 2.0
121 stars 33 forks source link

Provide module with high-level monadic/pure API #69

Open romac opened 5 years ago

romac commented 5 years ago

Perhaps built on top of either: