MVN

org.sosy-lab : java-smt

Maven & Gradle

Jun 07, 2023

2 usages

170 stars

java-smt · Unified acccess layer to SMT solvers

Homepage Documentation Readme Maven Central

<!-- https://mavenlibs.com/maven/dependency/org.sosy-lab/java-smt --><dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>java-smt</artifactId>
    <version>4.0.2</version>
</dependency>

// https://mavenlibs.com/maven/dependency/org.sosy-lab/java-smtimplementation group: 'org.sosy-lab', name: 'java-smt', version: '4.0.2'

// https://mavenlibs.com/maven/dependency/org.sosy-lab/java-smtimplementation 'org.sosy-lab:java-smt:4.0.2'

// https://mavenlibs.com/maven/dependency/org.sosy-lab/java-smtimplementation("org.sosy-lab:java-smt:4.0.2")

// https://mavenlibs.com/maven/dependency/org.sosy-lab/java-smtlibraryDependencies += "org.sosy-lab" % "java-smt" % "4.0.2"

<!-- https://mavenlibs.com/maven/dependency/org.sosy-lab/java-smt --><dependency org="org.sosy-lab" name="java-smt" rev="4.0.2"/>

// https://mavenlibs.com/maven/dependency/org.sosy-lab/java-smt@Grapes(
    @Grab(group='org.sosy-lab', module='java-smt', version='4.0.2')
)

;; https://mavenlibs.com/maven/dependency/org.sosy-lab/java-smt[org.sosy-lab/java-smt "4.0.2"]

# https://mavenlibs.com/maven/dependency/org.sosy-lab/java-smt'org.sosy-lab:java-smt:jar:4.0.2'

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a dependency to Maven
How to add a dependency to Gradle
How to add a dependency to SBT Scala

Latest Version

Choose a version of org.sosy-lab : java-smt to add to Maven or Gradle - Latest Versions:

Latest Stable: 4.0.2
Latest Alpha: 2.0.0-alpha-266-g80711a5

All Versions

Choose a version of org.sosy-lab : java-smt to add to Maven or Gradle - All Versions:

Version	Vulnerabilities	Updated
4.0.x	java-smt-4.0.2		Jun 07, 2023
java-smt-4.0.0		Jun 05, 2023
3.14.x	java-smt-3.14.3		Oct 08, 2022
java-smt-3.14.2		Oct 03, 2022
java-smt-3.14.1		Oct 03, 2022
java-smt-3.14.0		Sep 17, 2022
3.13.x	java-smt-3.13.3		Jul 31, 2022
java-smt-3.13.2		Jul 28, 2022
java-smt-3.13.1		Jul 07, 2022
java-smt-3.13.0		Jul 03, 2022
3.12.x	java-smt-3.12.0		Mar 13, 2022
3.11.x	java-smt-3.11.0		Oct 06, 2021
3.10.x	java-smt-3.10.1		Sep 19, 2021
java-smt-3.10.0		Aug 27, 2021
3.9.x	java-smt-3.9.0-1-g304079c2		Jun 20, 2021
3.8.x	java-smt-3.8.0		Jun 06, 2021
3.7.x	java-smt-3.7.0-61-gea80187e		Jan 23, 2021
java-smt-3.7.0		Nov 09, 2020
3.6.x	java-smt-3.6.1		Sep 25, 2020
java-smt-3.6.0		Jul 10, 2020
3.5.x	java-smt-3.5.1		Jun 15, 2020
java-smt-3.5.0		Jun 14, 2020
3.3.x	java-smt-3.3.0		Nov 30, 2019
3.2.x	java-smt-3.2.0-5-g68c1c75		Oct 15, 2019
java-smt-3.2.0		Oct 07, 2019
3.1.x	java-smt-3.1.0		Aug 29, 2019
3.0.x	java-smt-3.0.0		Jun 26, 2019
2.2.x	java-smt-2.2.0		Mar 21, 2019
2.1.x	java-smt-2.1.3		Mar 01, 2019
java-smt-2.1.0		Feb 25, 2019
2.0.x	java-smt-2.0.2		Feb 23, 2019
java-smt-2.0.1		Feb 22, 2019
java-smt-2.0.0-6-gd641b39		Jan 29, 2019
java-smt-2.0.0		Jan 10, 2019
java-smt-2.0.0-alpha-266-g80711a5		Dec 13, 2018
java-smt-2.0.0-alpha-252-gbe6815a		Dec 09, 2018
java-smt-2.0.0-alpha-43-g775a9d3		Mar 24, 2018
1.0.x	java-smt-1.0.1		Aug 25, 2016
java-smt-1.0.0		Aug 25, 2016
0.60	java-smt-0.60-174-g7ab7771		Aug 16, 2016
java-smt-0.60		Jun 10, 2016
0.51	java-smt-0.51		Mar 07, 2016
0.5	java-smt-0.5-3-g103d67f		Mar 07, 2016
java-smt-0.5-1-g9d26410		Mar 06, 2016
java-smt-0.5		Mar 06, 2016
0.4	java-smt-0.4		Feb 19, 2016
0.3	java-smt-0.3-121-g8371696		Feb 19, 2016

Version

Vulnerabilities

Updated

4.0.x

java-smt-4.0.2

Jun 07, 2023

java-smt-4.0.0

Jun 05, 2023

3.14.x

java-smt-3.14.3

Oct 08, 2022

java-smt-3.14.2

Oct 03, 2022

java-smt-3.14.1

Oct 03, 2022

java-smt-3.14.0

Sep 17, 2022

3.13.x

java-smt-3.13.3

Jul 31, 2022

java-smt-3.13.2

Jul 28, 2022

java-smt-3.13.1

Jul 07, 2022

java-smt-3.13.0

Jul 03, 2022

3.12.x

java-smt-3.12.0

Mar 13, 2022

3.11.x

java-smt-3.11.0

Oct 06, 2021

3.10.x

java-smt-3.10.1

Sep 19, 2021

java-smt-3.10.0

Aug 27, 2021

3.9.x

java-smt-3.9.0-1-g304079c2

Jun 20, 2021

3.8.x

java-smt-3.8.0

Jun 06, 2021

3.7.x

java-smt-3.7.0-61-gea80187e

Jan 23, 2021

java-smt-3.7.0

Nov 09, 2020

3.6.x

java-smt-3.6.1

Sep 25, 2020

java-smt-3.6.0

Jul 10, 2020

3.5.x

java-smt-3.5.1

Jun 15, 2020

java-smt-3.5.0

Jun 14, 2020

3.3.x

java-smt-3.3.0

Nov 30, 2019

3.2.x

java-smt-3.2.0-5-g68c1c75

Oct 15, 2019

java-smt-3.2.0

Oct 07, 2019

3.1.x

java-smt-3.1.0

Aug 29, 2019

3.0.x

java-smt-3.0.0

Jun 26, 2019

2.2.x

java-smt-2.2.0

Mar 21, 2019

2.1.x

java-smt-2.1.3

Mar 01, 2019

java-smt-2.1.0

Feb 25, 2019

2.0.x

java-smt-2.0.2

Feb 23, 2019

java-smt-2.0.1

Feb 22, 2019

java-smt-2.0.0-6-gd641b39

Jan 29, 2019

java-smt-2.0.0

Jan 10, 2019

java-smt-2.0.0-alpha-266-g80711a5

Dec 13, 2018

java-smt-2.0.0-alpha-252-gbe6815a

Dec 09, 2018

java-smt-2.0.0-alpha-43-g775a9d3

Mar 24, 2018

1.0.x

java-smt-1.0.1

Aug 25, 2016

java-smt-1.0.0

Aug 25, 2016

0.60

java-smt-0.60-174-g7ab7771

Aug 16, 2016

java-smt-0.60

Jun 10, 2016

0.51

java-smt-0.51

Mar 07, 2016

0.5

java-smt-0.5-3-g103d67f

Mar 07, 2016

java-smt-0.5-1-g9d26410

Mar 06, 2016

java-smt-0.5

Mar 06, 2016

0.4

java-smt-0.4

Feb 19, 2016

0.3

java-smt-0.3-121-g8371696

Feb 19, 2016

How to add a dependency to Maven

Add the following org.sosy-lab : java-smt maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

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

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following org.sosy-lab : java-smt gradle dependency to your build.gradle file:

implementation 'org.sosy-lab:java-smt:4.0.2'

Gradle Kotlin DSL: Add the following org.sosy-lab : java-smt gradle kotlin dependency to your build.gradle.kts file:

implementation("org.sosy-lab:java-smt:4.0.2")

How to add a dependency to SBT Scala

SBT Scala: Add the following org.sosy-lab : java-smt sbt scala dependency to your build.sbt file:

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

Dependencies from Group

java-smt

@org.sosy-lab

Jun 07, 2023

2 usages

170 stars

javasmt-solver-z3

@org.sosy-lab

Jun 02, 2023

2 usages

170 stars

common

@org.sosy-lab

Jun 06, 2023

1 usages

10 stars

smtinterpol

@org.sosy-lab

Aug 16, 2016

1 usages

57 stars

javasmt-solver-z3-native

@org.sosy-lab

Mar 06, 2016

1 usages

9.6k stars

More Dependencies ❯

Discover Dependencies

leshan-client-demo

@org.eclipse.leshan

Jul 21, 2023

630 stars

org.eclipse.emf.parsley.dsl.standalone.lib

@org.eclipse.emf.parsley

Dec 01, 2022

1 usages

1 stars

drools-platform-manager-ui

@org.chtijbug.drools

Jun 09, 2017

jspwiki-it-builder

@org.apache.jspwiki.it

Aug 07, 2023

79 stars

hive-orc

@org.apache.hive

Jul 25, 2017

4 usages

hive-llap-tez

@org.apache.hive

Aug 07, 2023

4 usages

hive-llap-common

@org.apache.hive

Aug 07, 2023

18 usages

hive-llap-client

@org.apache.hive

Aug 07, 2023

15 usages

jsr107-magnolia

@nl.vpro

Mar 25, 2022

1 usages

4 stars

docbook-xsl

@net.sf.docbook

Feb 14, 2016

22 usages

More Dependencies ❯