Compile Dependencies (19)
| 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 | ✔ |
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.7.1-jre |
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 |
 | io.github.p-org.solvers
»
pjbdd PJBDD: A parallel BDD library, based on ideas from Sylvan, written in Java. | 1.0.10-10-v5 | 1.0.10-10 | |
| io.github.p-org.solvers
»
abc ABC Java Bindings | 1.0.1-v5 | 1.0.1 | |
| io.github.p-org.solvers
»
monosat MonoSAT Java Bindings | 1.6.0-v5 | ✔ | |
| io.github.p-org.solvers
»
yices Yices 2 Java Bindings | 1.0-v5 | ✔ | |
| io.github.p-org.solvers
»
z3 Z3 Java Bindings | 4.8.14-v5 | ✔ | |
| io.github.p-org.solvers
»
cvc5 CVC5 Java Bindings | 0.0.7-v5 | ✔ | |
Core Utils
Apache 2.0
|  | org.apache.commons
»
commons-lang31 vulnerability Apache Commons Lang, a package of Java utility classes for the classes that are in java.lang's hierarchy, or are ... | 3.12.0 | 3.20.0 |
Logging
Apache 2.0
|  | org.apache.logging.log4j
»
log4j-api1 vulnerability 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 |
JSON Lib
Public
|  | org.json
»
json1 vulnerability JSON is a light-weight, language independent, data interchange format. | 20230227 | 20260814 |
Testing
EPL 2.0
|  | org.junit.jupiter
»
junit-jupiter-api JUnit Jupiter is the API for writing tests using JUnit 5. | 5.9.1 | 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 |
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.1 | 6.1.3 |