ContractAutomataLib

Library for specifying and verifying contract automata.

License	>GNU General Public License v3.0
Categories	IDE Development Tools Auto Application Layer Libs Code Generators
GroupId	io.github.davidebasile
ArtifactId	ContractAutomataLib
Last Version	0.0.1
Release Date	Sep 22, 2021
Type	jar
Description	ContractAutomataLib Library for specifying and verifying contract automata.
Project URL	https://github.com/davidebasile/ContractAutomataLib
Source Code Management	http://github.com/davidebasile/ContractAutomataLib/tree/code-cleaning

Download ContractAutomataLib

Filename	Size
ContractAutomataLib-0.0.1.pom
ContractAutomataLib-0.0.1.jar	100 KB
ContractAutomataLib-0.0.1-sources.jar	54 KB
ContractAutomataLib-0.0.1-javadoc.jar	643 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/io.github.davidebasile/ContractAutomataLib/ -->
<dependency>
    <groupId>io.github.davidebasile</groupId>
    <artifactId>ContractAutomataLib</artifactId>
    <version>0.0.1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/io.github.davidebasile/ContractAutomataLib/
implementation 'io.github.davidebasile:ContractAutomataLib:0.0.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/io.github.davidebasile/ContractAutomataLib/
implementation ("io.github.davidebasile:ContractAutomataLib:0.0.1")

Apache Buildr

'io.github.davidebasile:ContractAutomataLib:jar:0.0.1'

Apache Ivy

<dependency org="io.github.davidebasile" name="ContractAutomataLib" rev="0.0.1">
  <artifact name="ContractAutomataLib" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='io.github.davidebasile', module='ContractAutomataLib', version='0.0.1')
)

Scala SBT

libraryDependencies += "io.github.davidebasile" % "ContractAutomataLib" % "0.0.1"

Leiningen

[io.github.davidebasile/ContractAutomataLib "0.0.1"]

Dependencies

compile (3)

Group / Artifact	Type	Version
org.json : json	jar	20210307
org.ow2.sat4j : org.ow2.sat4j.core	jar	2.3.4
org.apache.maven.plugins : maven-gpg-plugin	jar	3.0.1

test (2)

Group / Artifact	Type	Version
junit : junit	jar	4.13.2
org.assertj : assertj-core	jar	3.10.0

Project Modules

There are no modules declared in this project.

Versions

Version
0.0.1 Sep 22, 2021