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

    • 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.

    Group: io.github.contractautomataproject Artifact: catlib
    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
    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.

    Group: io.github.contractautomataproject Artifact: catlib
    Show documentation Show source 
    Download catlib.jar (1.0.1)
     

    0 downloads
    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!


    Page 1 from 1 (items total 2)


    © 2015 - 2024 Weber Informatics LLC | Privacy Policy