search

epfl-lara / ScalaZ3

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

Z3 source code repository should be fixed in README file #47

Closed amirsh closed 7 years ago

amirsh commented 9 years ago

It's now inside github: https://github.com/Z3Prover/z3

samarion commented 7 years ago

New build instructions don't require users to checkout the source themselves. Considering as fixed.