4.0.0 de.uni_luebeck.isp z3bundle jar Z3Bundle 4.8.7 Z3Bundle de.uni_luebeck.isp org.scala-lang scala-library 2.12.7 test org.scalatest scalatest_2.12 3.0.5 test net.java.dev.jna jna 5.0.0 net.java.dev.jna jna-platform 5.0.0