MVN

org.sosy-lab : javasmt-solver-boolector

Maven & Gradle

Jan 28, 2022

182 stars

javasmt-solver-boolector · SMT solver Boolector for use in JavaSMT

Homepage Documentation Readme Maven Central

<!-- https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-boolector --><dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-boolector</artifactId>
    <version>3.2.2-g1a89c229</version>
</dependency>

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-boolectorimplementation group: 'org.sosy-lab', name: 'javasmt-solver-boolector', version: '3.2.2-g1a89c229'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-boolectorimplementation 'org.sosy-lab:javasmt-solver-boolector:3.2.2-g1a89c229'

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-boolectorimplementation("org.sosy-lab:javasmt-solver-boolector:3.2.2-g1a89c229")

// https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-boolectorlibraryDependencies += "org.sosy-lab" % "javasmt-solver-boolector" % "3.2.2-g1a89c229"

<!-- https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-boolector --><dependency org="org.sosy-lab" name="javasmt-solver-boolector" rev="3.2.2-g1a89c229"/>

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

;; https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-boolector[org.sosy-lab/javasmt-solver-boolector "3.2.2-g1a89c229"]

# https://mavenlibs.com/maven/pom/org.sosy-lab/javasmt-solver-boolector'org.sosy-lab:javasmt-solver-boolector:jar:3.2.2-g1a89c229'

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

Latest Stable: 3.2.2-g1a89c229

All Versions

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

Version	Vulnerabilities	Updated
3.2.x	javasmt-solver-boolector-3.2.2-g1a89c229		Jan 28, 2022
javasmt-solver-boolector-3.2.2-gcc3a7091		Dec 12, 2021
javasmt-solver-boolector-3.2.2-g0783aa84		Dec 07, 2021
javasmt-solver-boolector-3.2.1-30-g95859db8		Jan 22, 2021

Version

Vulnerabilities

Updated

3.2.x

javasmt-solver-boolector-3.2.2-g1a89c229

Jan 28, 2022

javasmt-solver-boolector-3.2.2-gcc3a7091

Dec 12, 2021

javasmt-solver-boolector-3.2.2-g0783aa84

Dec 07, 2021

javasmt-solver-boolector-3.2.1-30-g95859db8

Jan 22, 2021

How to add a POM dependency to Maven

POM as dependency in dependencyManagement

<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-boolector</artifactId>
    <version>3.2.2-g1a89c229</version>
</dependency>