Do not create empty .so files at load time
Merge pull request #16 from colder/master

Do not create empty .so files at load time
Add incref/decref and make ASTs (and ast-lookalike) refcounted
Implement some more Solver methods, this requires ASTVector.
Fix ws
Add various functions, deprecate things from Z3Context that moved to Z3Solver.
Actually implement ASTVectors in JNI, make sure a model is available before getting it
Add getAssertions, there seem to be an issue with external theories, few tests fail
Update tests so that they no longer use deprecated ScalaZ3 API
Various fixes and changes
Fix stupid checkAssumptions bug
privatify methods we no longer want to expose, adapt tests
Remove delete() functions, revert changes to sbt build file
Deprecate Z3Model.delete
Merge pull request #17 from colder/master

Bring scalaz3 up to dates with z3 4.3
Be a bit more memory friendly: collect solvers early on
Merge pull request #18 from colder/master

Collect Solvers much more often
Deprecate softCheckCancel, map it to interrupt
512 is too many solvers
Merge pull request #19 from colder/master

Deprecate softCheckCancel, replaced by interrupt