API Doc
Awesome Scala
Login
1 results
Sorting
Stars
Created
Commit Activity
Contributors
Dependent
Contributing Search
Filters
Languages
Scala 2.13 (1)
Scala 2.12 (1)
Scala 2.11 (1)
Platforms
JVM (1)
Topics
horn-clauses (1)
model-checker (1)
prolog (1)
smt-solver (1)
smt2 (1)
verification (1)
uuverifiers/eldarica
2.1
The Eldarica model checker
Scala versions:
2.13
2.12
2.11
prolog
verification
model-checker
horn-clauses
smt2
smt-solver
80
5
1
(current)
