Update README with up-to-date information regarding cross-compiling and Mac support

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

Apache License 2.0

121 stars 33 forks source link

Closed romac closed 7 years ago

romac commented 7 years ago

Here's the build log as evidence that everything's working fine (at least on my machine™)