MVN

org.sosy-lab : javasmt-solver-yices2

Maven & Gradle

Sep 09, 2021
182 stars

javasmt-solver-yices2 · SMT solver Yices for use in JavaSMT

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

Latest Version

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

  • Latest Stable: 2.6.2-396-g194350c1

All Versions

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

Version Vulnerabilities Updated
2.6.x
javasmt-solver-yices2-2.6.2-396-g194350c1

How to add a POM dependency to Maven

POM as dependency in dependencyManagement

<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-yices2</artifactId>
    <version>2.6.2-396-g194350c1</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