MVN

org.sosy-lab : javasmt-solver-cvc5

Maven & Gradle

Apr 14, 2023

171 stars

javasmt-solver-cvc5 · SMT solver CVC5 for use in JavaSMT

<!-- https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-cvc5 --><dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-cvc5</artifactId>
    <version>1.0.5-g4cb2ab9eb</version>
</dependency>

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-cvc5implementation group: 'org.sosy-lab', name: 'javasmt-solver-cvc5', version: '1.0.5-g4cb2ab9eb'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-cvc5implementation 'org.sosy-lab:javasmt-solver-cvc5:1.0.5-g4cb2ab9eb'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-cvc5implementation("org.sosy-lab:javasmt-solver-cvc5:1.0.5-g4cb2ab9eb")

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-cvc5libraryDependencies += "org.sosy-lab" % "javasmt-solver-cvc5" % "1.0.5-g4cb2ab9eb"

<!-- https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-cvc5 --><dependency org="org.sosy-lab" name="javasmt-solver-cvc5" rev="1.0.5-g4cb2ab9eb"/>

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-cvc5@Grapes(
    @Grab(group='org.sosy-lab', module='javasmt-solver-cvc5', version='1.0.5-g4cb2ab9eb')
)

;; https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-cvc5[org.sosy-lab/javasmt-solver-cvc5 "1.0.5-g4cb2ab9eb"]

# https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-cvc5'org.sosy-lab:javasmt-solver-cvc5:jar:1.0.5-g4cb2ab9eb'

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a POM dependency to Maven

Latest Version

Choose a version of org.sosy-lab : javasmt-solver-cvc5 to add to Maven - Latest Versions:

Latest Stable: 1.0.5-g4cb2ab9eb

All Versions

Choose a version of org.sosy-lab : javasmt-solver-cvc5 to add to Maven - All Versions:

Version	Vulnerabilities	Updated
1.0.x	javasmt-solver-cvc5-1.0.5-g4cb2ab9eb		Apr 14, 2023
javasmt-solver-cvc5-1.0.2-g40f1137e5		Dec 04, 2022
javasmt-solver-cvc5-1.0.1-g8c2b8db17		Oct 04, 2022

Version

Vulnerabilities

Updated

1.0.x

javasmt-solver-cvc5-1.0.5-g4cb2ab9eb

Apr 14, 2023

javasmt-solver-cvc5-1.0.2-g40f1137e5

Dec 04, 2022

javasmt-solver-cvc5-1.0.1-g8c2b8db17

Oct 04, 2022

How to add a POM dependency to Maven

POM as dependency in dependencyManagement

<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-cvc5</artifactId>
    <version>1.0.5-g4cb2ab9eb</version>
</dependency>