Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
jniz3 [2010/12/07 15:49] philippe.suter |
jniz3 [2011/07/29 16:31] philippe.suter |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Z3 binders for Scala (and Java) ====== | + | ====== Scala^Z3: Integration of Scala and Z3 ====== |
+ | ===== Distribution ===== | ||
+ | The sources are now available on [[https://github.com/psuter/ScalaZ3|GitHub]]. Please use GitHub's issue tracker to report bugs or suggest improvements. Questions should be asked on [[http://stackoverflow.com/|Stack Overflow]], preferably tagged with [z3] and [scala]. | ||
===== Scala ===== | ===== Scala ===== |