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:40] philippe.suter |
jniz3-scala-examples [2011/07/29 16:40] philippe.suter |
||
|---|---|---|---|
| Line 25: | Line 25: | ||
| 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. | 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 ===== | ||
| Line 85: | Line 86: | ||
| You can compile it simply by running | You can compile it simply by running | ||
| - | scalac -cp z3.jar SecondsToTime.scala | + | scalac -cp scalaz3.jar SecondsToTime.scala |
| and run it with | and run it with | ||
| - | LD_LIBRARY_PATH=${Z3_LIB_PATH} scala -cp z3.jar SecondsToTime 12345 | + | LD_LIBRARY_PATH=${Z3_LIB_PATH} scala -cp scalaz3.jar SecondsToTime 12345 |
| for instance. | for instance. | ||