Download all versions of catlib JAR files with all dependencies
catlib from group io.github.contractautomataproject (version 1.0.2)
Library for specifying and verifying contract automata.
Artifact catlib
Group io.github.contractautomataproject
Version 1.0.2
Last update 24. February 2023
Tags: specifying verifying library contract automata
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
Tags: specifying verifying library contract automata
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!
catlib from group io.github.contractautomataproject (version 1.0.1)
Library for specifying and verifying contract automata.
Artifact catlib
Group io.github.contractautomataproject
Version 1.0.1
Last update 29. April 2022
Tags: specifying verifying library contract automata
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.1
Last update 29. April 2022
Tags: specifying verifying library contract automata
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 2)