uuverifiers/eldarica

The Eldarica model checker

SMT

110

774 commits

updated Aug 28, 2026

horn-clauses

model-checker

prolog

smt2

smt-solver

verification

Contributors

691 commits

75 commits

7 commits

1 commits

Languages

SMT

52.3%

Scala

46.5%

uuverifiers/eldarica

The Eldarica model checker

SMT

110

774 commits

updated Aug 28, 2026

horn-clauses

model-checker

prolog

smt2

smt-solver

verification

Contributors

691 commits

75 commits

7 commits

1 commits

Languages

SMT

52.3%

Scala

46.5%