# uuverifiers/eldarica

<https://repo.masters-masters.com/en/repos/uuverifiers/eldarica>

[Home](https://repo.masters-masters.com/en) › [uuverifiers](https://repo.masters-masters.com/en/owners/uuverifiers) › [eldarica](https://repo.masters-masters.com/en/repos/uuverifiers/eldarica)

uuverifiers/eldarica has 111 stars on GitHub. Its RepoMasters card: Prototype tier. The Eldarica model checker Language: SMT.

| Field | Value |
| --- | --- |
| Owner | [uuverifiers](https://repo.masters-masters.com/en/owners/uuverifiers) |
| Stars | 111 |
| Forks | 27 |
| Language | [SMT](https://repo.masters-masters.com/en/languages/smt) |
| License | None |
| Created | 2014 |
| Topics | horn-clauses, smt-solver, model-checker, verification, smt2, prolog |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [uuverifiers/eldarica](https://github.com/uuverifiers/eldarica) |

## Repository

The Eldarica model checker

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in SMT

- [CyZooNiC/cyberdeck · ★ 138 · SMT · Prototype](https://repo.masters-masters.com/en/repos/CyZooNiC/cyberdeck)
- [metrox-eth/moss · ★ 128 · SMT · Prototype](https://repo.masters-masters.com/en/repos/metrox-eth/moss)
- [eclsnowman/Eustathios-Spider-V2 · ★ 112 · SMT · Prototype](https://repo.masters-masters.com/en/repos/eclsnowman/Eustathios-Spider-V2)
- [PL-ML/code2inv · ★ 106 · SMT · Prototype](https://repo.masters-masters.com/en/repos/PL-ML/code2inv)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.