Compile Dependencies (17)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Concurrency
CC0 1.0 +1
|  | backport-util-concurrent
»
backport-util-concurrent Dawid Kurzyniec's backport of JSR 166 | 3.1 | ✔ |
 | com.berkeley.abc » abc | 1.0.0 | ||
Core Utils
Apache 2.0
|  | com.google.guava
»
guava2 vulnerabilities Guava is a suite of core and expanded libraries that include | 31.1-jre | 33.6.0-jre |
 | com.microsoft.z3 » z3 | 4.8.14 | ||
 | com.sri.yices » yices | 1.0 | ||
CLI Parser
Apache 2.0
|  | commons-cli
»
commons-cli Apache Commons CLI provides a simple API for presenting, processing, and validating a Command Line Interface. | 1.5.0 | 1.11.0 |
BSD 3-clause
|  | io.github.cvc5
»
cvc5 Java bindings for cvc5, an open-source automatic theorem prover for SMT problems | 0.0.7 | 1.3.4 |
| io.github.monosat » monosat | 1.6.0 | ||
Logging
Apache 2.0
|  | org.apache.logging.log4j
»
log4j-api API for Apache Log4J, a highly configurable logging tool that focuses on performance and low garbage generation. It has ... | 2.19.0 | 2.26.1 |
Logging
Apache 2.0
| | org.apache.logging.log4j
»
log4j-core3 vulnerabilities Implementation for Apache Log4J, a highly configurable logging tool that focuses on performance and low garbage ... | 2.19.0 | 2.26.1 |
Logging Bridge
Apache 2.0
| | org.apache.logging.log4j
»
log4j-slf4j-impl The Apache Log4j SLF4J 2.0 API binding to Log4j 2 Core | 2.19.0 | 2.26.1 |
Annotation Lib
Apache 2.0
|  | org.jetbrains
»
annotations A set of annotations used for code inspection support and code documentation. | 23.0.0 | 26.1.0 |
Reflection
Apache 2.0
|  | org.jooq
»
joor jOOR is a recursive acronym that stands for jOOR Object Oriented Reflection. It is a simple wrapper for the ... | 0.9.14 | 0.9.15 |
Testing
EPL 2.0
|  | org.junit.jupiter
»
junit-jupiter-api JUnit Jupiter is the API for writing tests using JUnit 5. | 5.9.0 | 6.1.3 |
Reflection
Apache 2.0
|  | org.reflections
»
reflections Reflections - Java runtime metadata analysis | 0.10.2 | ✔ |
Apache 2.0
|  | org.sosy-lab
»
java-smt Unified acccess layer to SMT solvers | 3.14.3 | 6.0.0-499-gf35a21a8e |
| org.sosy_lab.pjbdd » pjbdd | 1.0.10-9 |
Provided Dependencies (1)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
CodeGen
MIT
|  | org.projectlombok
»
lombok Lombok is a Java library that provides annotations to simplify Java development by automating the generation of ... | 1.18.24 | 1.18.46 |
Test Dependencies (2)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
I/O
Apache 2.0
|  | commons-io
»
commons-io1 vulnerability The Apache Commons IO library contains utility classes, stream implementations, file filters, | 2.11.0 | 2.22.0 |
Testing
EPL 2.0
| | org.junit.jupiter
»
junit-jupiter-engine Core package for the JUnit Jupiter test engine. | 5.9.0 | 6.1.3 |