Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
jniz3-scala-examples [2011/07/29 16:39] philippe.suter |
jniz3-scala-examples [2011/07/29 16:40] philippe.suter |
||
---|---|---|---|
Line 19: | Line 19: | ||
If you have an older version of Z3, go get the latest. | If you have an older version of Z3, go get the latest. | ||
+ | |||
===== 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. (Z3 correctly reports 2.15 under 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. |
===== Solving integer constraints ===== | ===== Solving integer constraints ===== |