| License |
License |
|---|---|
| Categories |
CategoriesAuto Application Layer Libs Code Generators |
| GroupId | GroupIdio.github.contractautomataproject |
| ArtifactId | ArtifactIdcatlib |
| Last Version | Last Version1.0.1 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
DescriptionContractAutomataLib
Library for specifying and verifying contract automata.
|
| Project URL |
Project URL |
| Source Code Management |
Source Code Management |
| 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 |
| Browse |
JarCasting<!-- https://jarcasting.com/artifacts/io.github.contractautomataproject/catlib/ -->
<dependency>
<groupId>io.github.contractautomataproject</groupId>
<artifactId>catlib</artifactId>
<version>1.0.1</version>
</dependency>// https://jarcasting.com/artifacts/io.github.contractautomataproject/catlib/
implementation 'io.github.contractautomataproject:catlib:1.0.1'// https://jarcasting.com/artifacts/io.github.contractautomataproject/catlib/
implementation ("io.github.contractautomataproject:catlib:1.0.1")'io.github.contractautomataproject:catlib:jar:1.0.1'<dependency org="io.github.contractautomataproject" name="catlib" rev="1.0.1">
<artifact name="catlib" type="jar" />
</dependency>@Grapes(
@Grab(group='io.github.contractautomataproject', module='catlib', version='1.0.1')
)libraryDependencies += "io.github.contractautomataproject" % "catlib" % "1.0.1"[io.github.contractautomataproject/catlib "1.0.1"]| 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 |
| Group / Artifact | Type | Version |
|---|---|---|
| junit : junit | jar | 4.13.2 |
| org.mockito : mockito-core | jar | 4.3.1 |