Compile Dependencies (9)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0
|  | de.learnlib
»
learnlib-api Infrastructure and core interfaces of LearnLib | 19.0.0 | ✔ |
Apache 2.0
| | de.learnlib.tooling » annotations | 0.1.1 | ✔ |
Apache 2.0
|  | net.automatalib
»
automata-api This artifact contains the API of AutomataLib, which mainly consists of interfaces | 13.0.0 | ✔ |
Apache 2.0
| | net.automatalib
»
automata-commons-util Basic utility library containing several useful classes to ease everyday programming. | 13.0.0 | ✔ |
Defect Detection
MIT
|  | org.checkerframework
»
checker-qual checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by ... | 4.2.1 | 4.2.2 |
MIT
|  | org.kohsuke.metainf-services
»
metainf-services Annotation-driven META-INF/services auto-generation | 1.11 | ✔ |
Mocking
MIT
|  | org.mockito
»
mockito-core Mockito mock objects library core API and implementation | 5.22.0 | 5.23.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 ... | 2.0.18 | ✔ |
Testing
Apache 2.0
|  | org.testng
»
testng TestNG is a testing framework inspired from JUnit and NUnit but introducing some new functionalities that make it more ... | 7.12.0 | ✔ |
Test Dependencies (3)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0
| | de.learnlib
»
learnlib-drivers-simulator Utilities for simulating SULs | 19.0.0 | ✔ |
Apache 2.0
| | net.automatalib
»
automata-core The core artifact of AutomataLib. This library contains concrete implementations for many | 13.0.0 | ✔ |
Apache 2.0
| | net.automatalib
»
automata-util This artifact provides various common utility operations for analyzing and manipulating | 13.0.0 | ✔ |