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

Latest version

[![iris-reasoner-mod Scala version support](https://index.scala-lang.org/scalahub/iris-reasoner/iris-reasoner-mod/latest.svg)](https://index.scala-lang.org/scalahub/iris-reasoner/iris-reasoner-mod)

JVM badge

[![iris-reasoner-mod Scala version support](https://index.scala-lang.org/scalahub/iris-reasoner/iris-reasoner-mod/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/scalahub/iris-reasoner/iris-reasoner-mod)