Added scalaz3.dll for x64 + instructions

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

Apache License 2.0

122 stars 34 forks source link

Added scalaz3.dll for x64 + instructions #31

Closed MikaelMayer closed 10 years ago

MikaelMayer commented 10 years ago

I added the instructions for windows x64 to compile scalaZ3 but also released my dll. This does not work with cygwin anymore so we are free from cygwin1.dll

colder commented 10 years ago

Rebased, squashed, and merged