epfl-lara / ScalaZ3

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

Can't find dependent libraries :( #35

Closed tvcsantos closed 10 years ago

tvcsantos commented 10 years ago

Hi,

So I've downloaded the fixed version, compiled it using "sbt package", and obtained a compilation error regarding a missing ";", i fixed the compilation error, sent you a pull request.

After fixing the compilation error I got the same error as before regarding not being able to find the dependent libraries.

Once again I would appreciate your help

Best, Tiago