uuverifiers / eldarica 2.1

GitHub

The Eldarica model checker

smt-solver
verification
prolog
model-checker
horn-clauses
smt2

Scala versions: 2.13 2.12 2.11

Latest version

[![eldarica Scala version support](https://index.scala-lang.org/uuverifiers/eldarica/eldarica/latest.svg)](https://index.scala-lang.org/uuverifiers/eldarica/eldarica)

JVM badge

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