uuverifiers / eldarica 2.1
GitHubThe Eldarica model checker
eldarica-tplspec-parser 2.1
Group ID:
io.github.uuverifiers
Artifact ID:
eldarica-tplspec-parser_2.12
Version:
2.1
Release Date:
Mar 22, 2024
Licenses:
Files:
Full Scala Version:
2.12.18
Developers:
libraryDependencies += "io.github.uuverifiers" %% "eldarica-tplspec-parser" % "2.1"
ivy"io.github.uuverifiers::eldarica-tplspec-parser:2.1"
//> using dep "io.github.uuverifiers::eldarica-tplspec-parser:2.1"
import $ivy.`io.github.uuverifiers::eldarica-tplspec-parser:2.1`
<dependency> <groupId>io.github.uuverifiers</groupId> <artifactId>eldarica-tplspec-parser_2.12</artifactId> <version>2.1</version> </dependency>
compile group: 'io.github.uuverifiers', name: 'eldarica-tplspec-parser_2.12', version: '2.1'