search

epfl-lara / ScalaZ3

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

Build / Dependency Simplification - Z3 now supports MkAbs / OP_ABS #88

Open Dessix opened 4 months ago

Dessix commented 4 months ago

Upstream commit Z3Prover/z3#efc893263a4fe107b3c62cea02aaa355b2f34ec8 has merged /z3_mk_abs.patch into mainline Z3. This may allow the Build.scala implementation to be simplified, and may remove a major blocker on #78 - Replace custom build of Z3 with z3-turnkey.