ContractAutomataLib

Library for specifying and verifying contract automata.

License	>GNU General Public License v3.0
Categories	Auto Application Layer Libs Code Generators
GroupId	io.github.contractautomataproject
ArtifactId	catlib
Last Version	1.0.1
Release Date	Apr 29, 2022
Type	jar
Description	ContractAutomataLib Library for specifying and verifying contract automata.
Project URL	https://github.com/ContractAutomataProject/ContractAutomataLib
Source Code Management	http://github.com/ContractAutomataProject/ContractAutomataLib/tree/main

Download catlib

Filename	Size
catlib-1.0.1.pom
catlib-1.0.1.jar	108 KB
catlib-1.0.1-sources.jar	72 KB
catlib-1.0.1-javadoc.jar	778 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/io.github.contractautomataproject/catlib/ -->
<dependency>
    <groupId>io.github.contractautomataproject</groupId>
    <artifactId>catlib</artifactId>
    <version>1.0.1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/io.github.contractautomataproject/catlib/
implementation 'io.github.contractautomataproject:catlib:1.0.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/io.github.contractautomataproject/catlib/
implementation ("io.github.contractautomataproject:catlib:1.0.1")

Apache Buildr

'io.github.contractautomataproject:catlib:jar:1.0.1'

Apache Ivy

<dependency org="io.github.contractautomataproject" name="catlib" rev="1.0.1">
  <artifact name="catlib" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='io.github.contractautomataproject', module='catlib', version='1.0.1')
)

Scala SBT

libraryDependencies += "io.github.contractautomataproject" % "catlib" % "1.0.1"

Leiningen

[io.github.contractautomataproject/catlib "1.0.1"]

Dependencies

compile (4)

Group / Artifact	Type	Version
io.stryker-mutator : mutation-testing-elements	jar	1.7.10
com.google.re2j : re2j	jar	1.6
org.ow2.sat4j : org.ow2.sat4j.core	jar	2.3.6
org.apache.maven.plugins : maven-gpg-plugin	jar	3.0.1

test (2)

Group / Artifact	Type	Version
junit : junit	jar	4.13.2
org.mockito : mockito-core	jar	4.3.1

Project Modules

There are no modules declared in this project.

Versions

Version
1.0.1 Apr 29, 2022
1.0.0 Apr 24, 2022