MVN

org.sosy-lab : javasmt-solver-bitwuzla

Maven & Gradle

May 30, 2024

174 stars

javasmt-solver-bitwuzla · SMT solver Bitwuzla for use in JavaSMT

<!-- https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-bitwuzla --><dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-bitwuzla</artifactId>
    <version>0.4.0-g4dbf3b1f</version>
</dependency>

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-bitwuzlaimplementation group: 'org.sosy-lab', name: 'javasmt-solver-bitwuzla', version: '0.4.0-g4dbf3b1f'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-bitwuzlaimplementation 'org.sosy-lab:javasmt-solver-bitwuzla:0.4.0-g4dbf3b1f'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-bitwuzlaimplementation("org.sosy-lab:javasmt-solver-bitwuzla:0.4.0-g4dbf3b1f")

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-bitwuzlalibraryDependencies += "org.sosy-lab" % "javasmt-solver-bitwuzla" % "0.4.0-g4dbf3b1f"

<!-- https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-bitwuzla --><dependency org="org.sosy-lab" name="javasmt-solver-bitwuzla" rev="0.4.0-g4dbf3b1f"/>

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

;; https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-bitwuzla[org.sosy-lab/javasmt-solver-bitwuzla "0.4.0-g4dbf3b1f"]

# https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-bitwuzla'org.sosy-lab:javasmt-solver-bitwuzla:jar:0.4.0-g4dbf3b1f'

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-bitwuzla to add to Maven - Latest Versions:

Latest Stable: 0.4.0-g4dbf3b1f

All Versions

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

Version	Vulnerabilities	Updated
0.4.x	javasmt-solver-bitwuzla-0.4.0-g4dbf3b1f		May 30, 2024

Version

Vulnerabilities

Updated

0.4.x

javasmt-solver-bitwuzla-0.4.0-g4dbf3b1f

May 30, 2024

How to add a POM dependency to Maven

POM as dependency in dependencyManagement

<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-bitwuzla</artifactId>
    <version>0.4.0-g4dbf3b1f</version>
</dependency>