Release ScalaZ3 2.1 with libz3 bundled