java-smt

Unified acccess layer to SMT solvers

License	Apache License, Version 2.0
Categories	Java Languages
GroupId	org.sosy-lab
ArtifactId	java-smt
Last Version	3.12.0
Release Date	Mar 13, 2022
Type	jar
Description	java-smt Unified acccess layer to SMT solvers
Project URL	https://github.com/sosy-lab/java-smt
Project Organization	Software Systems Lab
Source Code Management	https://github.com/sosy-lab/java-smt/

Download java-smt

Filename	Size
java-smt-3.12.0.pom
java-smt-3.12.0.jar	857 KB
java-smt-3.12.0-sources.jar	520 KB
java-smt-3.12.0-javadoc.jar	892 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.sosy-lab/java-smt/ -->
<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>java-smt</artifactId>
    <version>3.12.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.sosy-lab/java-smt/
implementation 'org.sosy-lab:java-smt:3.12.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.sosy-lab/java-smt/
implementation ("org.sosy-lab:java-smt:3.12.0")

Apache Buildr

'org.sosy-lab:java-smt:jar:3.12.0'

Apache Ivy

<dependency org="org.sosy-lab" name="java-smt" rev="3.12.0">
  <artifact name="java-smt" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.sosy-lab', module='java-smt', version='3.12.0')
)

Scala SBT

libraryDependencies += "org.sosy-lab" % "java-smt" % "3.12.0"

Leiningen

[org.sosy-lab/java-smt "3.12.0"]

Dependencies

compile (8)

Group / Artifact	Type	Version
org.sosy-lab : common	jar	0.3000-502-gb581f5d
com.google.guava : guava	jar	31.0.1-jre
org.checkerframework : checker-qual	jar	3.21.2
com.github.spotbugs : spotbugs-annotations	jar	4.5.3
com.google.code.findbugs : jsr305	jar	3.0.2
de.uni-freiburg.informatik.ultimate : smtinterpol	jar	2.5-916-ga5843d8b
io.github.uuverifiers : princess_2.13	jar	2021-11-15
org.codehaus.mojo : animal-sniffer-annotations	jar	1.18

Project Modules

There are no modules declared in this project.

SoSy-Lab

Versions

Version
3.12.0 Mar 13, 2022
3.11.0 Oct 6, 2021
3.10.1 Sep 19, 2021
3.10.0 Aug 28, 2021
3.9.0-1-g304079c2 Jun 20, 2021
3.8.0 Jun 6, 2021
3.7.0-61-gea80187e Jan 23, 2021
3.7.0 Nov 9, 2020
3.6.1 Sep 25, 2020
3.6.0 Jul 10, 2020
3.5.1 Jun 15, 2020
3.5.0 Jun 14, 2020
3.3.0 Dec 1, 2019
3.2.0-5-g68c1c75 Oct 15, 2019
3.2.0 Oct 7, 2019
3.1.0 Aug 29, 2019
3.0.0 Jun 26, 2019
2.2.0 Mar 22, 2019
2.1.3 Mar 1, 2019
2.1.0 Feb 25, 2019
2.0.2 Feb 23, 2019
2.0.1 Feb 22, 2019
2.0.0-6-gd641b39 Jan 29, 2019
2.0.0 Jan 10, 2019
2.0.0-alpha-266-g80711a5 Dec 13, 2018
2.0.0-alpha-252-gbe6815a Dec 9, 2018
2.0.0-alpha-43-g775a9d3 Mar 24, 2018
1.0.1 Aug 25, 2016
1.0.0 Aug 25, 2016
0.60-174-g7ab7771 Aug 16, 2016
0.60 Jun 10, 2016
0.51 Mar 7, 2016
0.5-3-g103d67f Mar 7, 2016
0.5-1-g9d26410 Mar 6, 2016
0.5 Mar 6, 2016
0.4 Feb 19, 2016
0.3-121-g8371696 Feb 19, 2016