JarCasting
JarCasting JarCasting
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

Filename Size
probkodkod-1.0.6.pom
probkodkod-1.0.6.jar 1 MB
probkodkod-1.0.6-sources.jar 207 KB
probkodkod-1.0.6-javadoc.jar 880 KB
Browse 

<!-- 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.