All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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 
Download catlib.jar (1.0.2)
 

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!



Page 1 from 1 (items total 1)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy