epfl-lara/ScalaZ3 Issues
Support for SMTLIB2's IEEE Floats
Updated 1Cannot find checkAndGetAllModels
Closed 3Scala 3 / dotty support?
Updated 1Where is mkEnumType/EnumSort?
Updated 1Help with compilation
Closed 4NoClassDefFoundError in all tests
Closed 14[build problem Ubuntu 12.04]
Closed 4help me regarding binders test
Closed 1Build error on windows 7 (x64)
Closed 4Scala^Z3 on Scala 2.10
Closed 10`QuickPA` test fails with Z3 >= 4.0
Updated 1Build error on OS X 64 bit
Closed 4Missing support for Real sort.
Closed 6