epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

epfl-lara/ScalaZ3 Issues

Replace custom build of Z3 with z3-turnkey
Updated 16 days ago1
Support for SMTLIB2's IEEE Floats
Updated a month ago1
Bug with Z3 sorts / putting together a formula
Closed 4 months ago4
Cannot find checkAndGetAllModels
Closed a year ago3
`sbt test` fails with NullPointerException when loading jar
Updated 2 years ago2
Scala 3 / dotty support?
Updated 2 years ago1
Where is mkEnumType/EnumSort?
Updated 4 years ago1
Could not find mkFPConst(String) for floats similar to mkRealCons(String)
Updated 4 years ago
Reflective access in Z3Wrapper yields warning on Java 11
Updated 5 years ago
Provide module with high-level monadic/pure API
Updated 5 years ago
`Arrays` test fails with later versions of Z3
Closed 5 years ago3
UnsatisfiedLinkError related to libgomp.1.dylib when using OSX binary on 10.9.5
Closed 5 years ago1
Why does 'mkInt' take an int as parameter instead of a long (as it is supported by Z3) ?
Closed 5 years ago1
Windows 8 64bit: Can't find dependent libraries
Closed 5 years ago
add support for mkNumeral in Z3Wrapper and Z3Contex, and everything Real related
Closed 5 years ago1
z3-4.6.0 build fails due to not incorporating https://github.com/Z3Prover/z3/pull/1612
Closed 5 years ago1
Address potential build issue
Updated 5 years ago
Passing a list of assumptions in solver.checkAssumptions?
Closed 6 years ago2
Help with compilation
Closed 6 years ago4
Native z3 library can't be loaded on Mac OS
Closed 6 years ago1
Implement `*ValHandler.convert(...)` directly in `ValHandler`
Closed 7 years ago2
Can the hand-written JNI code be replaced with JNR-FFI?
Closed 7 years ago2
Z3 source code repository should be fixed in README file
Closed 7 years ago1
GCC 5 uses the GNU11 standard, which breaks how inline functions are used.
Closed 9 years ago1
GC cannot collect unused AST nodes/Z3Object instances
Updated 9 years ago2
NoClassDefFoundError in all tests
Closed 10 years ago14
Problem building ScalaZ3 on OSX 10.9 (64b)
Closed 10 years ago2
[build problem Ubuntu 12.04]
Closed 10 years ago4
help me regarding binders test
Closed 10 years ago1
Can't find dependent libraries :(
Closed 10 years ago
Can't find dependent libraries :(
Closed 10 years ago3
Build error on windows 7 (x64)
Closed 10 years ago4
Windows build is missing import library
Closed 10 years ago7
Scala^Z3 on Scala 2.10
Closed 11 years ago10
`QuickPA` test fails with Z3 >= 4.0
Updated 11 years ago1
Test failure with latest Z3 on MacOSX
Closed 12 years ago4
Build error on OS X 64 bit
Closed 12 years ago4
Missing support for Real sort.
Closed 12 years ago6