Last Version

ProB Kodkod 1.0.6

Wrapper to use Kodkod in ProB.

License

License

GroupId

GroupId

de.hhu.stups
ArtifactId

ArtifactId

probkodkod
Version

Version

1.0.6
Type

Type

jar
Description

Description

ProB Kodkod
Wrapper to use Kodkod in ProB.
Project URL

Project URL

https://github.com/hhu-stups/probkodkod
Source Code Management

Source Code Management

https://github.com/hhu-stups/probkodkod

Download probkodkod 1.0.6


<!-- https://jarcasting.com/artifacts/de.hhu.stups/probkodkod/ -->
<dependency>
    <groupId>de.hhu.stups</groupId>
    <artifactId>probkodkod</artifactId>
    <version>1.0.6</version>
</dependency>
// https://jarcasting.com/artifacts/de.hhu.stups/probkodkod/
implementation 'de.hhu.stups:probkodkod:1.0.6'
// https://jarcasting.com/artifacts/de.hhu.stups/probkodkod/
implementation ("de.hhu.stups:probkodkod:1.0.6")
'de.hhu.stups:probkodkod:jar:1.0.6'
<dependency org="de.hhu.stups" name="probkodkod" rev="1.0.6">
  <artifact name="probkodkod" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.hhu.stups', module='probkodkod', version='1.0.6')
)
libraryDependencies += "de.hhu.stups" % "probkodkod" % "1.0.6"
[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.