Compile Dependencies (4)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0
|  | net.automatalib
»
automata-api This artifact contains the API of AutomataLib, which mainly consists of interfaces | 0.10.0 | 0.12.1 |
Apache 2.0
| | net.automatalib
»
automata-commons-util Basic utility library containing several useful classes to ease everyday programming. | 0.10.0 | 0.12.1 |
Defect Detection
MIT
|  | org.checkerframework
»
checker-qual checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by ... | 3.7.0 | 4.1.0 |
Logging
MIT
|  | org.slf4j
»
slf4j-api API for SLF4J (The Simple Logging Facade for Java) which serves as a simple facade or abstraction for various logging ... | 1.7.30 | 2.0.18 |
Test Dependencies (4)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Logging
EPL 2.0 +1
|  | ch.qos.logback
»
logback-core6 vulnerabilities Core implementation of Logback, a reliable, generic, fast and flexible logging framework. | 1.2.3 | 1.5.32 |
Logging
EPL 2.0 +1
| | ch.qos.logback
»
logback-classic1 vulnerability Implementation of the SLF4J API for Logback, a reliable, generic, fast and flexible logging framework. | 1.2.3 | 1.5.32 |
Mocking
MIT
|  | org.mockito
»
mockito-core Mockito mock objects library core API and implementation | 3.5.13 | 5.23.0 |
Testing
Apache 2.0
|  | org.testng
»
testng1 vulnerability TestNG is a testing framework inspired from JUnit and NUnit but introducing some new functionalities that make it more ... | 7.1.0 | 7.12.0 |
