search

epfl-lara / ScalaZ3

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

Update OS X jar release for Darwin Kernel 13.2.0. #39

Closed koksal closed 10 years ago

koksal commented 10 years ago

The existing jar file doesn't work with the up-to-date OS X Kernel. I repackaged it so it works.

It would probably be good to also update the release (to v2.1.1?) with this new jar file, but I think I can't do that in a pull request.

colder commented 10 years ago

Thanks!

Released as last release.

I also removed jars from the actual repo as it makes it quite heavy for no reason.

koksal commented 10 years ago

Sounds great.