Download ContractAutomataLib JAR file with all dependencies
ContractAutomataLib from group io.github.davidebasile (version 0.0.1)
Library for specifying and verifying contract automata.
0 downloads
Artifact ContractAutomataLib
Group io.github.davidebasile
Version 0.0.1
Last update 22. September 2021
Organization not specified
URL https://github.com/davidebasile/ContractAutomataLib
License >GNU General Public License v3.0
Dependencies amount 3
Dependencies json, org.ow2.sat4j.core, maven-gpg-plugin,
There are maybe transitive dependencies!
Group io.github.davidebasile
Version 0.0.1
Last update 22. September 2021
Organization not specified
URL https://github.com/davidebasile/ContractAutomataLib
License >GNU General Public License v3.0
Dependencies amount 3
Dependencies json, org.ow2.sat4j.core, maven-gpg-plugin,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)