io.github.contractautomataproject:catlib 1.0.0

Library for specifying and verifying contract automata.

Categories	Auto Application Layer Libs Code Generators
GroupId	io.github.contractautomataproject
ArtifactId	catlib
Version	1.0.0
Type	jar

Download catlib 1.0.0

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

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

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