search

epfl-lara / ScalaZ3

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

Update build to sbt 1.0 #64

Closed romac closed 5 years ago

romac commented 5 years ago

Supersedes #51

https://github.com/epfl-lara/ScalaZ3/pull/59#discussion_r184396851 still needs to be addressed though.