search

epfl-lara / ScalaZ3

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

Updated link to Z3 download site #20

Closed vo1stv closed 11 years ago

vo1stv commented 11 years ago

Changed to http://z3.codeplex.com/releases

hrj commented 11 years ago

The new z3 download page lists only version 4.3.0. Is it supported?

psuter commented 11 years ago

We use 4.3 daily, so yes.