License |
License |
---|---|
Categories |
CategoriesScala Languages |
GroupId | GroupIdio.github.scalahub |
ArtifactId | ArtifactIdiris-reasoner-mod_2.12 |
Version | Version1.0 |
Type | Typejar |
Description |
Descriptioniris-reasoner-mod
Modified version of IRIS reasoner
|
Project URL |
Project URL |
Project Organization |
Project Organization |
Source Code Management |
Source Code Management |
<!-- https://jarcasting.com/artifacts/io.github.scalahub/iris-reasoner-mod_2.12/ -->
<dependency>
<groupId>io.github.scalahub</groupId>
<artifactId>iris-reasoner-mod_2.12</artifactId>
<version>1.0</version>
</dependency>
// https://jarcasting.com/artifacts/io.github.scalahub/iris-reasoner-mod_2.12/
implementation 'io.github.scalahub:iris-reasoner-mod_2.12:1.0'
// https://jarcasting.com/artifacts/io.github.scalahub/iris-reasoner-mod_2.12/
implementation ("io.github.scalahub:iris-reasoner-mod_2.12:1.0")
'io.github.scalahub:iris-reasoner-mod_2.12:jar:1.0'
<dependency org="io.github.scalahub" name="iris-reasoner-mod_2.12" rev="1.0">
<artifact name="iris-reasoner-mod_2.12" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.github.scalahub', module='iris-reasoner-mod_2.12', version='1.0')
)
libraryDependencies += "io.github.scalahub" % "iris-reasoner-mod_2.12" % "1.0"
[io.github.scalahub/iris-reasoner-mod_2.12 "1.0"]
Group / Artifact | Type | Version |
---|---|---|
org.scala-lang : scala-library | jar | 2.12.10 |
org.jgrapht : jgrapht-core | jar | 0.9.1 |
commons-io : commons-io | jar | 2.6 |
commons-cli : commons-cli | jar | 1.4 |
org.slf4j : slf4j-api | jar | 1.7.26 |
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 4.12 |