How to add a POM dependency to Maven
POM as dependency in dependencyManagement
<dependency>
<groupId>org.sosy-lab</groupId>
<artifactId>javasmt-solver-z3</artifactId>
<version>4.12.2</version>
</dependency>
MVN
org.sosy-lab : javasmt-solver-z3
Maven & Gradle
javasmt-solver-z3 · SMT solver Z3 for use in JavaSMT
Copy
pom.xml
Table Of Contents
Latest Version
Choose a version of org.sosy-lab : javasmt-solver-z3 to add to Maven - Latest Versions:
- Latest Stable: 4.12.2
All Versions
Choose a version of org.sosy-lab : javasmt-solver-z3 to add to Maven - All Versions:
| Version | Vulnerabilities | Updated | |
|---|---|---|---|
| 4.12.x |
javasmt-solver-z3-4.12.2
|
||
|
javasmt-solver-z3-4.12.2-glibc_2.27
|
|||
|
javasmt-solver-z3-4.12.1-glibc_2.27
|
|||
|
javasmt-solver-z3-4.12.1
|
|||
| 4.11.x |
javasmt-solver-z3-4.11.2
|
||
| 4.10.x |
javasmt-solver-z3-4.10.1
|
||
| 4.9.x |
javasmt-solver-z3-4.9.1
|
||
| 4.8.x |
javasmt-solver-z3-4.8.17
|
||
|
javasmt-solver-z3-4.8.16
|
|||
|
javasmt-solver-z3-4.8.15
|
|||
|
javasmt-solver-z3-4.8.14
|
|||
|
javasmt-solver-z3-4.8.13
|
|||
|
javasmt-solver-z3-4.8.12
|
|||
|
javasmt-solver-z3-4.8.11
|
|||
|
javasmt-solver-z3-4.8.10
|
|||
|
javasmt-solver-z3-4.8.9-sosy1
|
|||
| z3 |
javasmt-solver-z3-z3-4.4.1-1558-gf96cfea
|
||
|
javasmt-solver-z3-z3-4.4.1-788-g8df145d
|
|||
|
javasmt-solver-z3-z3-4.4.1-863-g96f6bf7-2
|
|||
Advertisement
