New scalaZ3.dll version (release)

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

Apache License 2.0

122 stars 34 forks source link

New scalaZ3.dll version (release) #37

Closed MikaelMayer closed 10 years ago

MikaelMayer commented 10 years ago

Here is the new scalaZ3.dll version. Sorry if this pull request takes previous commits with it. I tried to update from remote but it did not change anything.

colder commented 10 years ago

Could you please create the full jar file? so that we can add it to the releases directly, instead of only the dll file.

colder commented 10 years ago

Released as part of 2.1.1 under releases