4.0.0 org.sosy-lab java-smt jar 1.0.1 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 http://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 George Karpenkov george@metaworld.me http://metaworld.me project maintainer Dirk Beyer dirk.beyer@sosy-lab.org http://www.sosy-lab.org/~dbeyer/ Software Systems Lab http://www.sosy-lab.org/ project manager org.sosy-lab common 0.3000-38-gcdb252b compile com.google.guava guava 19.0 compile org.sosy-lab smtinterpol 2.1-255-gcdd5908 comp compile org.sosy-lab smtinterpol 2.1-255-gcdd5908 sources compile org.sosy-lab javasmt-solver-z3 z3-4.4.1-1558-gf96cfea true