Home » com.gitlab.cdc-java.applic » cdc-applic-proofs-core » 0.2.0 » Dependencies

CDC Applic Proofs Core » 0.2.0

Applicabilities Proofs Core.

Compile Dependencies (8)

Category/LicenseGroup / ArtifactVersionUpdates
GPL 3.0
com.gitlab.cdc-java.applic » cdc-applic-dictionaries
Applicabilities Dictionaries.
0.2.00.19.1
GPL 3.0
com.gitlab.cdc-java.applic » cdc-applic-dictionaries-core
Applicabilities Dictionaries Core.
0.2.00.19.1
GPL 3.0
com.gitlab.cdc-java.applic » cdc-applic-expressions
Applicabilities Expressions.
0.2.00.19.1
GPL 3.0
com.gitlab.cdc-java.applic » cdc-applic-proofs
Applicabilities Proofs.
0.2.00.19.1
GPL 3.0 +1
com.gitlab.cdc-java.util » cdc-util-core
Low level core utilities.
0.14.00.57.3
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.16.02.26.0
Apache 2.0
org.apache.logging.log4j » log4j-iostreams
The Apache Log4j streams to log event converters
2.16.02.26.0
EPL 1.0 +1
org.ow2.sat4j » org.ow2.sat4j.core
The core library contains a flexible implementation in Java of the initial Minisat specification.
2.3.6✔

Test Dependencies (7)

Category/LicenseGroup / ArtifactVersionUpdates
GPL 3.0
com.gitlab.cdc-java.applic » cdc-applic-dictionaries-impl
Applicabilities Dictionaries Implementation.
0.2.00.19.1
GPL 3.0
com.gitlab.cdc-java.applic » cdc-applic-dictionaries-impl
Applicabilities Dictionaries Implementation.
0.2.00.19.1
Logging Apache 2.0
org.apache.logging.log4j » log4j-core5 vulnerabilities
Implementation for Apache Log4J, a highly configurable logging tool that focuses on performance and low garbage ...
2.16.02.26.0
Testing EPL 2.0
org.junit.jupiter » junit-jupiter-api
JUnit Jupiter is the API for writing tests using JUnit 5.
Testing EPL 2.0
org.junit.jupiter » junit-jupiter-engine
Core package for the JUnit Jupiter test engine.
Microbenchmarks GPL 2.0
org.openjdk.jmh » jmh-core
The jmh is a Java harness for building, running, and analysing
1.331.37
Annotation Tool GPL 2.0
org.openjdk.jmh » jmh-generator-annprocess
JMH benchmark generator, based on annotation processors.
1.331.37