Awesome Scala
Login
uuverifiers
/
eldarica
2.1
GitHub
The Eldarica model checker
smt-solver
horn-clauses
verification
smt2
model-checker
prolog
Scala versions:
2.13
2.12
2.11
Project
1 Version
Badges
eldarica
eldarica-cc-parser
eldarica-tplspec-parser
2.13
2.12
2.11
Show pre-release versions
Scala 2.12
Clear all filters
1
version found for
eldarica-cc-parser
2.1
3 months ago
JVM:
2.13
2.12
2.11