Version 4.7.1

• Cross-build for Scala 2.13.0 (#68)
• Update Z3 to version 4.7.1 (#66)
• Update build to sbt 1.0 (#64)
• Make all Mac OS dynamic libraries be relocatable (#58)
• Get Native class to load in withinJar (#57)
• Exclude ar archives from computing the checksum (#55)
• Add DSL bindings to bit-vectors (#52)
• Make Z3Solver.assertCnstr(dsl.Tree[dsl.BoolSort]) public (#51)
• Remove -fopenmp on Mac (#50)

Version 2.1.1, release fixes for osx/windows

Fix releases for osx/win:

• Update OS X jar release for Darwin Kernel 13.2.0
• Working win release, see README for more information

v2.1

ScalaZ3 with Real support, bundles latest 4.3 unstable z3 within jar.