Explicit-state model checking runtime for the P programming language

Compile Dependencies (13)

Category/LicenseGroup / ArtifactVersionUpdates
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 » guava
Guava is a suite of core and expanded libraries that include
32.0.1-jre33.6.0-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.01.11.0
I/O Apache 2.0
commons-io » commons-io1 vulnerability
The Apache Commons IO library contains utility classes, stream implementations, file filters,
2.11.02.22.0
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.03.20.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.20.02.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.20.02.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.20.02.26.1
Annotation Lib Apache 2.0
org.jetbrains » annotations
A set of annotations used for code inspection support and code documentation.
24.0.126.1.0
Reflection Apache 2.0
org.jooq » joor-java-8
jOOR is a recursive acronym that stands for jOOR Object Oriented Reflection. It is a simple wrapper for the ...
0.9.140.9.15
JSON Lib Public
org.json » json
JSON is a light-weight, language independent, data interchange format.
2023101320260814
Testing EPL 2.0
org.junit.jupiter » junit-jupiter-api
JUnit Jupiter is the API for writing tests using JUnit 5.
5.9.26.1.3
Reflection Apache 2.0
org.reflections » reflections
Reflections - Java runtime metadata analysis
0.10.2

Provided Dependencies (1)

Category/LicenseGroup / ArtifactVersionUpdates
CodeGen MIT
org.projectlombok » lombok
Lombok is a Java library that provides annotations to simplify Java development by automating the generation of ...
1.18.261.18.46

Test Dependencies (1)

Category/LicenseGroup / ArtifactVersionUpdates
Testing EPL 2.0
org.junit.jupiter » junit-jupiter-engine
Core package for the JUnit Jupiter test engine.
5.9.26.1.3