scalahub / iris-reasoner   1.0

GNU Library General Public License v2.1 only GitHub

Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge

Scala versions: 2.12

iris-reasoner-mod 1.0


Group ID:
io.github.scalahub
Artifact ID:
iris-reasoner-mod_2.12
Version:
1.0
Version Scheme:
Release Date:
Jun 9, 2022
Licenses:
Files:
Full Scala Version:
2.12.10
Developers:

libraryDependencies += "io.github.scalahub" %% "iris-reasoner-mod" % "1.0"

Mill build tool

ivy"io.github.scalahub::iris-reasoner-mod:1.0"

Scala CLI

//> using dep "io.github.scalahub::iris-reasoner-mod:1.0"

Ammonite REPL

import $ivy.`io.github.scalahub::iris-reasoner-mod:1.0`

<dependency>
  <groupId>io.github.scalahub</groupId>
  <artifactId>iris-reasoner-mod_2.12</artifactId>
  <version>1.0</version>
</dependency>

compile group: 'io.github.scalahub', name: 'iris-reasoner-mod_2.12', version: '1.0'