A collection of basic algorithm for approximating equivalence queries
Compile Dependencies (6)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0
| | de.learnlib
»
learnlib-core Infrastructure and core interfaces of LearnLib | 0.9.1 | 0.18.0 |
LGPL 3.0
| | de.learnlib
»
learnlib-test-support Functionality to ease writing test cases for LearnLib | 0.9.1 | ✔ |
Apache 2.0
|  | net.automatalib
»
automata-api This artifact contains the API of AutomataLib, which mainly consists of interfaces | 0.3.1 | 0.12.1 |
Apache 2.0
| | net.automatalib
»
automata-core The core artifact of AutomataLib. This library contains concrete implementations for many | 0.3.1 | 0.12.1 |
Apache 2.0
| | net.automatalib
»
automata-util This artifact provides various common utility operations for analyzing and manipulating | 0.3.1 | 0.12.1 |
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 ... | 6.8 | 7.12.0 |
