LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
scalaz3 [2011/10/20 16:42]
philippe.suter
scalaz3 [2011/10/21 16:16]
philippe.suter
Line 13: Line 13:
 ===== Scala ===== ===== Scala =====
  
-The Scala API is available at [[http://​lara.epfl.ch/​~psuter/​jniz3/]]. You probably want to look at the classes ''​Z3Context''​ to start, and ''​Z3Theory''​ if your interest is to write theory plugins. The function names are usually very close to their C equivalent (you can consult the C API [[http://​research.microsoft.com/​en-us/​um/​redmond/​projects/​z3/​group__capi.html|here]]). One notable difference is that functions return multiple arguments when needed rather than using by-reference arguments. This convention is applied systematically. Not all functions in the C API have a Scala equivalent yet (for instance, bit-vectors have no counterpart yet).+The Scala API is available at [[http://​lara.epfl.ch/​~psuter/​ScalaZ3/]]. You probably want to look at the classes ''​Z3Context''​ to start, and ''​Z3Theory''​ if your interest is to write theory plugins. The function names are usually very close to their C equivalent (you can consult the C API [[http://​research.microsoft.com/​en-us/​um/​redmond/​projects/​z3/​group__capi.html|here]]). One notable difference is that functions return multiple arguments when needed rather than using by-reference arguments. This convention is applied systematically. Not all functions in the C API have a Scala equivalent yet (for instance, bit-vectors have no counterpart yet).