MVN

org.sosy-lab : javasmt-yices2

Maven & Gradle

Jun 07, 2023
182 stars

javasmt-yices2 · JavaSMT bindings for the SMT solver Yices

<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-yices2</artifactId>
    <version>4.0.1</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

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

  • Latest Stable: 4.0.1

All Versions

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

Version Vulnerabilities Updated
4.0.x
javasmt-yices2-4.0.1
3.12.x
javasmt-yices2-3.12.0
3.10.x
javasmt-yices2-3.10.0
3.6.x
javasmt-yices2-3.6.0-27-g42532e0b

How to add a POM dependency to Maven

POM as dependency in dependencyManagement

<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-yices2</artifactId>
    <version>4.0.1</version>
</dependency>

Advertisement

Dependencies from Group

Jun 07, 2023
2 usages
182 stars
Jun 02, 2023
2 usages
182 stars
Jun 06, 2023
1 usages
10 stars
Aug 16, 2016
1 usages
57 stars
Mar 06, 2016
1 usages
10.3k stars

Discover Dependencies