All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • Download io.github.davidebasile JAR files with all dependencies


    ContractAutomataLib from group io.github.davidebasile (version 0.0.1)

    Library for specifying and verifying contract automata.

    Group: io.github.davidebasile Artifact: ContractAutomataLib
    Show documentation Show source 
    Download ContractAutomataLib.jar (0.0.1)
     

    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!


    Page 1 from 1 (items total 1)


    © 2015 - 2025 Weber Informatics LLC | Privacy Policy