4.0.0 org.sosy-lab java-smt jar 5.0.0 java-smt Unified acccess layer to SMT solvers https://github.com/sosy-lab/java-smt Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0.txt 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 Philipp Wendler uni@philippwendler.de Software Systems Lab https://www.sosy-lab.org/people/wendler/ 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 org.sosy-lab common 0.3000-585-g7a5f95c1 compile com.google.guava guava 33.2.1-jre compile org.checkerframework checker-qual 3.44.0 compile com.github.spotbugs spotbugs-annotations 4.8.6 compile com.google.code.findbugs jsr305 3.0.2 compile de.uni-freiburg.informatik.ultimate smtinterpol 2.5-1242-g5c50fb6d compile io.github.uuverifiers princess_2.13 2024-01-12 compile org.codehaus.mojo animal-sniffer-annotations 1.18 compile