search

epfl-lara / ScalaZ3

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

Bundle libz3 within scalaz3.jar #27

Closed colder closed 10 years ago

colder commented 10 years ago

The loading of the libz3 is now deterministic, no more LD_LIBRARY_PATH needed. libscalaz3/libz3 are always expected to be extracted to

/SCALAZ3_. Works on linux and mac, untested on windows.