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 [2011/02/18 02:53] vkuncak |
jniz3 [2011/07/29 16:31] philippe.suter |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Scala^Z3: Integration of Scala and Z3 ====== | ====== 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 ===== | ||