# GitHub repos by arminbiere

<https://repo.masters-masters.com/en/owners/arminbiere>

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

All 5 public GitHub repos by arminbiere in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by arminbiere

5 public repos by arminbiere in the catalog, most starred first.

- [arminbiere/kissat · ★ 682 · C · Alpha](https://repo.masters-masters.com/en/repos/arminbiere/kissat)
- [arminbiere/cadical · ★ 629 · C++ · Alpha](https://repo.masters-masters.com/en/repos/arminbiere/cadical)
- [arminbiere/satch · ★ 127 · C · Prototype](https://repo.masters-masters.com/en/repos/arminbiere/satch)
- [arminbiere/lingeling · ★ 111 · C · Prototype](https://repo.masters-masters.com/en/repos/arminbiere/lingeling)
- [arminbiere/aiger · ★ 107 · C · Prototype](https://repo.masters-masters.com/en/repos/arminbiere/aiger)

## See arminbiere on GitHub

- [https://github.com/arminbiere](https://github.com/arminbiere)

---
Data: GitHub