mvncenter: io.github.uuverifiers:eldarica-cc-parser

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

eldarica horn systems clauses constrained solver

Files download

File	Operation
eldarica-cc-parser_2.11-2.1.jar	download
eldarica-cc-parser_2.11-2.1.pom	download
eldarica-cc-parser_2.11-2.1-sources.jar	download

Apache Maven

<dependency>
  <groupId>io.github.uuverifiers</groupId>
  <artifactId>eldarica-cc-parser_2.11</artifactId>
  <version>2.1</version>
</dependency>

Gradle Groovy

implementation 'io.github.uuverifiers:eldarica-cc-parser_2.11:2.1'

Gradle Kotlin

implementation("io.github.uuverifiers:eldarica-cc-parser_2.11:2.1")

Scala SBT

libraryDependencies += "io.github.uuverifiers" % "eldarica-cc-parser_2.11" % "2.1"

Groovy Grape

@Grapes(
  @Grab(group='io.github.uuverifiers', module='eldarica-cc-parser_2.11', version='2.1')
)

Apache Ivy

<dependency org="io.github.uuverifiers" name="eldarica-cc-parser_2.11" rev="2.1" />

Leiningen

[io.github.uuverifiers/eldarica-cc-parser_2.11 "2.1"]

Apache Buildr

'io.github.uuverifiers:eldarica-cc-parser_2.11:jar:2.1'

Dependencies

compile