ProB Kodkod

Wrapper to use Kodkod in ProB.

License	MIT License
GroupId	de.hhu.stups
ArtifactId	probkodkod
Last Version	1.0.6
Release Date	Oct 7, 2016
Type	jar
Description	ProB Kodkod Wrapper to use Kodkod in ProB.
Project URL	https://github.com/hhu-stups/probkodkod
Source Code Management	https://github.com/hhu-stups/probkodkod

Download probkodkod

Filename	Size
probkodkod-1.0.6.pom
probkodkod-1.0.6.jar	1 MB
probkodkod-1.0.6-sources.jar	204 KB
probkodkod-1.0.6-javadoc.jar	818 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/de.hhu.stups/probkodkod/ -->
<dependency>
    <groupId>de.hhu.stups</groupId>
    <artifactId>probkodkod</artifactId>
    <version>1.0.6</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/de.hhu.stups/probkodkod/
implementation 'de.hhu.stups:probkodkod:1.0.6'

Gradle Kotlin

// https://jarcasting.com/artifacts/de.hhu.stups/probkodkod/
implementation ("de.hhu.stups:probkodkod:1.0.6")

Apache Buildr

'de.hhu.stups:probkodkod:jar:1.0.6'

Apache Ivy

<dependency org="de.hhu.stups" name="probkodkod" rev="1.0.6">
  <artifact name="probkodkod" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='de.hhu.stups', module='probkodkod', version='1.0.6')
)

Scala SBT

libraryDependencies += "de.hhu.stups" % "probkodkod" % "1.0.6"

Leiningen

[de.hhu.stups/probkodkod "1.0.6"]

Dependencies

compile (2)

Group / Artifact	Type	Version
org.ow2.sat4j : org.ow2.sat4j.core	jar	2.3.5
de.hhu.stups : prologlib	jar	2.4.40

test (1)

Group / Artifact	Type	Version
junit : junit	jar	4.8.2

Project Modules

There are no modules declared in this project.

Kodkod Wrapper for ProB

Software Engineering and Programming Languages Group – Heinrich Heine University Düsseldorf

Versions

Version
1.0.6 Oct 7, 2016
1.0.5 Oct 4, 2016
1.0.4 Oct 4, 2016
1.0.3 Sep 14, 2015