search

epfl-lara / ScalaZ3

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

Fixed the dependent library problem for scalaZ3 #33

Closed MikaelMayer closed 10 years ago

MikaelMayer commented 10 years ago

This needed a check to load libz3 if we are on windows. Thanks Tiago for spotting that.

colder commented 10 years ago

Cleaned a bit the patch, and merged