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

Search JAR files by class name

Download catlib JAR 1.0.2 with all dependencies

Library for specifying and verifying contract automata.

Files of the artifact catlib version 1.0.2 from the group io.github.contractautomataproject.

Test

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!

The newest version!

Show more of this group Show more artifacts with this name
Show all versions of catlib Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of catlib version 1.0.2

META-INF

META-INF.META-INF.MANIFEST.MF

io.github.contractautomata.catlib.automaton

io.github.contractautomata.catlib.automaton.io.github.contractautomata.catlib.automaton.Automaton

io.github.contractautomata.catlib.automaton.io.github.contractautomata.catlib.automaton.Ranked

io.github.contractautomata.catlib.automaton.label

io.github.contractautomata.catlib.automaton.label.io.github.contractautomata.catlib.automaton.label.CALabel

io.github.contractautomata.catlib.automaton.label.io.github.contractautomata.catlib.automaton.label.Label

io.github.contractautomata.catlib.automaton.label.io.github.contractautomata.catlib.automaton.label.Matchable

io.github.contractautomata.catlib.automaton.label.action

io.github.contractautomata.catlib.automaton.label.action.io.github.contractautomata.catlib.automaton.label.action.Action

io.github.contractautomata.catlib.automaton.label.action.io.github.contractautomata.catlib.automaton.label.action.Address

io.github.contractautomata.catlib.automaton.label.action.io.github.contractautomata.catlib.automaton.label.action.AddressedAction

io.github.contractautomata.catlib.automaton.label.action.io.github.contractautomata.catlib.automaton.label.action.AddressedOfferAction

io.github.contractautomata.catlib.automaton.label.action.io.github.contractautomata.catlib.automaton.label.action.AddressedRequestAction

io.github.contractautomata.catlib.automaton.label.action.io.github.contractautomata.catlib.automaton.label.action.IdleAction

io.github.contractautomata.catlib.automaton.label.action.io.github.contractautomata.catlib.automaton.label.action.OfferAction

io.github.contractautomata.catlib.automaton.label.action.io.github.contractautomata.catlib.automaton.label.action.RequestAction

io.github.contractautomata.catlib.automaton.label.action.io.github.contractautomata.catlib.automaton.label.action.package-info

io.github.contractautomata.catlib.automaton.label

io.github.contractautomata.catlib.automaton.label.io.github.contractautomata.catlib.automaton.label.package-info

io.github.contractautomata.catlib.automaton

io.github.contractautomata.catlib.automaton.io.github.contractautomata.catlib.automaton.package-info

io.github.contractautomata.catlib.automaton.state

io.github.contractautomata.catlib.automaton.state.io.github.contractautomata.catlib.automaton.state.AbstractState

io.github.contractautomata.catlib.automaton.state.io.github.contractautomata.catlib.automaton.state.BasicState

io.github.contractautomata.catlib.automaton.state.io.github.contractautomata.catlib.automaton.state.State

io.github.contractautomata.catlib.automaton.state.io.github.contractautomata.catlib.automaton.state.package-info

io.github.contractautomata.catlib.automaton.transition

io.github.contractautomata.catlib.automaton.transition.io.github.contractautomata.catlib.automaton.transition.ModalTransition

io.github.contractautomata.catlib.automaton.transition.io.github.contractautomata.catlib.automaton.transition.Transition

io.github.contractautomata.catlib.automaton.transition.io.github.contractautomata.catlib.automaton.transition.package-info

io.github.contractautomata.catlib.converters

io.github.contractautomata.catlib.converters.io.github.contractautomata.catlib.converters.AutConverter

io.github.contractautomata.catlib.converters.io.github.contractautomata.catlib.converters.AutDataConverter

io.github.contractautomata.catlib.converters.io.github.contractautomata.catlib.converters.package-info

io.github.contractautomata.catlib.family

io.github.contractautomata.catlib.family.io.github.contractautomata.catlib.family.FMCA

io.github.contractautomata.catlib.family.io.github.contractautomata.catlib.family.Family

io.github.contractautomata.catlib.family.io.github.contractautomata.catlib.family.Feature

io.github.contractautomata.catlib.family.io.github.contractautomata.catlib.family.PartialProductGenerator

io.github.contractautomata.catlib.family.io.github.contractautomata.catlib.family.Product

io.github.contractautomata.catlib.family.converters

io.github.contractautomata.catlib.family.converters.io.github.contractautomata.catlib.family.converters.DimacsFamilyConverter

io.github.contractautomata.catlib.family.converters.io.github.contractautomata.catlib.family.converters.FamilyConverter

io.github.contractautomata.catlib.family.converters.io.github.contractautomata.catlib.family.converters.FeatureIDEfamilyConverter

io.github.contractautomata.catlib.family.converters.io.github.contractautomata.catlib.family.converters.ProdFamilyConverter

io.github.contractautomata.catlib.family.converters.io.github.contractautomata.catlib.family.converters.package-info

io.github.contractautomata.catlib.family

io.github.contractautomata.catlib.family.io.github.contractautomata.catlib.family.package-info

io.github.contractautomata.catlib.operations

io.github.contractautomata.catlib.operations.io.github.contractautomata.catlib.operations.ChoreographySynthesisOperator

io.github.contractautomata.catlib.operations.io.github.contractautomata.catlib.operations.CompositionFunction

io.github.contractautomata.catlib.operations.io.github.contractautomata.catlib.operations.MSCACompositionFunction

io.github.contractautomata.catlib.operations.io.github.contractautomata.catlib.operations.ModelCheckingFunction

io.github.contractautomata.catlib.operations.io.github.contractautomata.catlib.operations.ModelCheckingSynthesisOperator

io.github.contractautomata.catlib.operations.io.github.contractautomata.catlib.operations.MpcSynthesisOperator

io.github.contractautomata.catlib.operations.io.github.contractautomata.catlib.operations.OrchestrationSynthesisOperator

io.github.contractautomata.catlib.operations.io.github.contractautomata.catlib.operations.ProductOrchestrationSynthesisOperator

io.github.contractautomata.catlib.operations.io.github.contractautomata.catlib.operations.ProjectionFunction

io.github.contractautomata.catlib.operations.io.github.contractautomata.catlib.operations.RelabelingOperator

io.github.contractautomata.catlib.operations.io.github.contractautomata.catlib.operations.SynthesisOperator

io.github.contractautomata.catlib.operations.io.github.contractautomata.catlib.operations.UnionFunction

io.github.contractautomata.catlib.operations.interfaces

io.github.contractautomata.catlib.operations.interfaces.io.github.contractautomata.catlib.operations.interfaces.TetraFunction

io.github.contractautomata.catlib.operations.interfaces.io.github.contractautomata.catlib.operations.interfaces.TetraPredicate

io.github.contractautomata.catlib.operations.interfaces.io.github.contractautomata.catlib.operations.interfaces.TriFunction

io.github.contractautomata.catlib.operations.interfaces.io.github.contractautomata.catlib.operations.interfaces.TriPredicate

io.github.contractautomata.catlib.operations.interfaces.io.github.contractautomata.catlib.operations.interfaces.package-info

io.github.contractautomata.catlib.operations

io.github.contractautomata.catlib.operations.io.github.contractautomata.catlib.operations.package-info

io.github.contractautomata.catlib.requirements

io.github.contractautomata.catlib.requirements.io.github.contractautomata.catlib.requirements.Agreement

io.github.contractautomata.catlib.requirements.io.github.contractautomata.catlib.requirements.StrongAgreement

io.github.contractautomata.catlib.requirements.io.github.contractautomata.catlib.requirements.package-info

© 2015 - 2024 Weber Informatics LLC | Privacy Policy