4.0.0 org.sosy-lab javasmt-solver-z3 pom javasmt-solver-z3 SMT solver Z3 for use in JavaSMT https://github.com/sosy-lab/java-smt MIT License https://opensource.org/licenses/MIT Software Systems Lab https://www.sosy-lab.org/ https://github.com/sosy-lab/java-smt/ scm:git:git://github.com/sosy-lab/java-smt.git scm:git:git@github.com:sosy-lab/java-smt.git Karlheinz Friedberger kfriedberger@gmail.com Software Systems Lab https://www.sosy-lab.org/people/friedberger/ project maintainer Dirk Beyer dirk.beyer@sosy-lab.org https://www.sosy-lab.org/people/beyer/ Software Systems Lab http://www.sosy-lab.org/ project manager