search

epfl-lara / ScalaZ3

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

Windows Error management for ScalaZ3 #26

Closed MikaelMayer closed 10 years ago

MikaelMayer commented 10 years ago

I hope that those precisions can help other people to compile ScalaZ3. It worked on my station with a lot of efforts.

colder commented 10 years ago

The compile errors should be fixed in the latest release.