Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

jniz3-scala-examples [2011/10/21 16:19]
philippe.suter
jniz3-scala-examples [2011/10/21 16:19] (current)
philippe.suter
Line 20: Line 20:
  
 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 25: 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
  
  
 
jniz3-scala-examples.txt · Last modified: 2011/10/21 16:19 by philippe.suter
 
© EPFL 2018 - Legal notice