API Doc
Awesome Scala
Login
uuverifiers
/
eldarica
2.2
GitHub
The Eldarica model checker
smt2
prolog
smt-solver
horn-clauses
verification
model-checker
Scala versions:
2.13
2.12
2.11
Project
Artifacts
Versions
Badges
2.13
2.12
2.11
eldarica-cc-parser
eldarica
eldarica-cc-parser
eldarica-tplspec-parser
Found
3
versions
2.2.1
16 days ago
JVM:
2.13
2.12
2.11
2.2
7 months ago
JVM:
2.13
2.12
2.11
2.1
1 year ago
JVM:
2.13
2.12
2.11