Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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