Download io.github.contractautomataproject JAR files with all dependencies
catlib from group io.github.contractautomataproject (version 1.0.2)
Library for specifying and verifying contract automata.
Group: io.github.contractautomataproject Artifact: catlib
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact catlib
Group io.github.contractautomataproject
Version 1.0.2
Last update 24. February 2023
Organization not specified
URL https://github.com/ContractAutomataProject/ContractAutomataLib
License >GNU General Public License v3.0
Dependencies amount 4
Dependencies mutation-testing-elements, re2j, org.ow2.sat4j.core, maven-gpg-plugin,
There are maybe transitive dependencies!
Group io.github.contractautomataproject
Version 1.0.2
Last update 24. February 2023
Organization not specified
URL https://github.com/ContractAutomataProject/ContractAutomataLib
License >GNU General Public License v3.0
Dependencies amount 4
Dependencies mutation-testing-elements, re2j, org.ow2.sat4j.core, maven-gpg-plugin,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)