Compile Dependencies (7)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Code Analyzer
LGPL 2.1
|  | com.google.code.findbugs
»
jsr305 Annotations the SpotBugs tool supports | 3.0.2 | 4.10.3 |
Core Utils
Apache 2.0
|  | com.google.guava
»
guava3 vulnerabilities Guava is a suite of core and expanded libraries that include | 22.0 | 33.6.0-jre |
Apache 2.0
|  | net.automatalib
»
automata-api This artifact contains the API of AutomataLib, which mainly consists of interfaces | 0.7.0 | 0.12.1 |
Apache 2.0
| | net.automatalib
»
automata-core The core artifact of AutomataLib. This library contains concrete implementations for many | 0.7.0 | 0.12.1 |
Apache 2.0
| | net.automatalib
»
automata-commons-util Basic utility library containing several useful classes to ease everyday programming. | 0.7.0 | 0.12.1 |
Apache 2.0
| | net.automatalib
»
automata-util This artifact provides various common utility operations for analyzing and manipulating | 0.7.0 | 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.11 | 7.12.0 |