java-smt

Unified acccess layer to SMT solvers

Homepage POM file JAR file Javadoc

'org.sosy-lab:java-smt:0.4'

<dependency>
	<groupId>org.sosy-lab</groupId>
	<artifactId>java-smt</artifactId>
	<version>0.4</version>
</dependency>

<dependency org="org.sosy-lab" name="java-smt" rev="0.4"/>

"org.sosy-lab", "java-smt", "0.4"

Dependencies

Compile dependencies

com.github.sevntu.checkstyle » sevntu-checks » 1.17.0 (optional)
com.google.auto.value » auto-value » 1.1 (optional)
com.google.code.findbugs » annotations » 3.0.0 (optional)
com.google.code.findbugs » findbugs » 3.0.1 (optional)
com.google.errorprone » error_prone_annotations » 2.0.5 (optional)
com.google.errorprone » error_prone_ant » 2.0.5 (optional)
com.google.google-java-format » google-java-format » 0.1-SNAPSHOT-104-g79b7f0f (optional)
com.google.guava » guava » 19.0 (optional)
com.google.guava » guava-testlib » 19.0 (optional)
com.google.truth » truth » 0.28 (optional)
de.uni-freiburg.informatik.ultimate » smtinterpol » 2.1-236-ge5a0f5a (optional)
junit » junit » 4.12 (optional)
org.apache.ant » ant-junit » 1.9.3 (optional)
org.apache.ivy » ivy » 2.3.0 (optional)
org.jacoco » org.jacoco.ant » 0.7.2.201409121644 (optional)
org.ruemmer.philipp » princess » 2016-02-10-r2566 (optional)
org.sosy_lab » common » 0.1000-39-gb5673bc (optional)
org.sosy_lab » javasmt-solver-mathsat » 5.3.10.1 (optional)
org.sosy_lab » javasmt-solver-optimathsat » 1.3.10 (optional)
org.sosy_lab » javasmt-solver-z3 » z3-4.4.1-788-g8df145d (optional)