Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
jniz3-scala-examples [2011/07/29 16:40] philippe.suter |
jniz3-scala-examples [2011/10/21 16:19] philippe.suter |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| ===== Testing your setup ===== | ===== Testing your setup ===== | ||
| + | |||
| Line 16: | Line 17: | ||
| it should print something like: | it should print something like: | ||
| - | res0: String = Z3 2.19 (build 0, rev. 0), ScalaZ3 2.19 | + | res0: String = Z3 3.2 (build 0, rev. 0), ScalaZ3 3.2.b |
| If you have an older version of Z3, go get the latest. | If you have an older version of Z3, go get the latest. | ||
| + | |||
| Line 24: | Line 26: | ||
| ===== Windows ===== | ===== Windows ===== | ||
| - | Make sure you have all required files installed and available in the path, including the [[http://www.microsoft.com/downloads/en/details.aspx?displaylang=en&FamilyID=a7b7a05e-6de6-4d3a-a423-37bf0912db84|Microsoft Visual C++ 2010 Redistributable Package]]. The instructions are otherwise similar as above. | + | <del>Make sure you have all required files installed and available in the path, including the [[http://www.microsoft.com/downloads/en/details.aspx?displaylang=en&FamilyID=a7b7a05e-6de6-4d3a-a423-37bf0912db84|Microsoft Visual C++ 2010 Redistributable Package]]. The instructions are otherwise similar as above.</del> |
| + | |||
| + | As of ScalaZ3 3.2.a, there are no additional dependencies for the Windows version. | ||