Download ContractAutomataLib JAR 0.0.1 with all dependencies
Library for specifying and verifying contract automata.
Files of the artifact ContractAutomataLib version 0.0.1 from the group io.github.davidebasile.
Artifact ContractAutomataLib
Group io.github.davidebasile
Version 0.0.1
Last update 22. September 2021
Tags: verifying specifying contract library automata
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
Tags: verifying specifying contract library automata
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!
The newest version!
Show all versions of ContractAutomataLib Show documentation
Please rate this JAR file. Is it a good library?
0 downloads
Source code of ContractAutomataLib version 0.0.1
META-INF
contractAutomata.automaton
contractAutomata.automaton.label
contractAutomata.automaton.state
contractAutomata.automaton.transition
contractAutomata.converters
contractAutomata.operators
contractAutomata.requirements
family
family.converters
© 2015 - 2024 Weber Informatics LLC | Privacy Policy