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)