Home » io.github.contractautomataproject » catlib » 1.0.2 » Dependencies

ContractAutomataLib » 1.0.2

Library for specifying and verifying contract automata.

Compile Dependencies (4)

Category/LicenseGroup / ArtifactVersionUpdates
Regexp
com.google.re2j » re2j
Linear time regular expressions for Java
1.61.8
Apache 2.0
io.stryker-mutator » mutation-testing-elements
A suite of web components for a mutation testing report.
1.7.103.9.0
Maven Plugins Apache 2.0
org.apache.maven.plugins » maven-gpg-plugin
Signs the project artifacts with GnuPG.
3.0.13.2.8
EPL 1.0 +1
org.ow2.sat4j » org.ow2.sat4j.core
The core library contains a flexible implementation in Java of the initial Minisat specification.
2.3.6✔

Test Dependencies (2)

Category/LicenseGroup / ArtifactVersionUpdates
Testing EPL 2.0
junit » junit
JUnit Jupiter is the API for writing tests using JUnit 5.
4.13.26.1.3
Mocking MIT
org.mockito » mockito-core
Mockito mock objects library core API and implementation
4.3.15.23.0