# Dépôts de arminbiere [Accueil](https://repo.masters-masters.com/) › [arminbiere](https://repo.masters-masters.com/owners/arminbiere) Les 5 dépôts GitHub publics de arminbiere, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de arminbiere 5 dépôts publics de arminbiere au catalogue, du plus étoilé au moins étoilé. - [arminbiere/kissat · ★ 682 · C · Alpha](https://repo.masters-masters.com/repos/arminbiere/kissat) - [arminbiere/cadical · ★ 629 · C++ · Alpha](https://repo.masters-masters.com/repos/arminbiere/cadical) - [arminbiere/satch · ★ 127 · C · Prototype](https://repo.masters-masters.com/repos/arminbiere/satch) - [arminbiere/lingeling · ★ 111 · C · Prototype](https://repo.masters-masters.com/repos/arminbiere/lingeling) - [arminbiere/aiger · ★ 107 · C · Prototype](https://repo.masters-masters.com/repos/arminbiere/aiger) ## Voir arminbiere sur GitHub - [https://github.com/arminbiere](https://github.com/arminbiere) --- Données : GitHub