"; ?>
The API is here.
Some online documentation is available here.
The live source repository is now available: https://github.com/psuter/ScalaZ3/.
The GitHub repository also contains precompiled versions of the library, working for Linux and Windows.