MVN

org.sosy-lab : javasmt-solver-boolector

Maven & Gradle

Jan 28, 2022
169 stars

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

<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-boolector</artifactId>
    <version>3.2.2-g1a89c229</version>
</dependency>
Copy
pom.xml
Table Of Contents

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
javasmt-solver-boolector-3.2.2-gcc3a7091
javasmt-solver-boolector-3.2.2-g0783aa84
javasmt-solver-boolector-3.2.1-30-g95859db8

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>

Advertisement