search

epfl-lara / ScalaZ3

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

Replace custom build of Z3 with z3-turnkey #78

Open romac opened 3 years ago

romac commented 3 years ago

The purpose of z3-turnkey is to provide a JAR artifact that:

  1. ships its own native libraries,
  2. can use them without administrative privileges, and
  3. can be obtained using Maven.

If this works, this could allow us to distribute ScalaZ3 via Maven or Bintray, without requiring that users manually build it themselves or download one of our pre-built artifacts.

Dessix commented 2 months ago

This may be easier now that #88 no longer requires patching of the Z3 sources.