# GitHub repos by Boolector [Home](https://repo.masters-masters.com/en) › [Boolector](https://repo.masters-masters.com/en/owners/Boolector) The public GitHub repo by Boolector in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by Boolector 1 public repo by Boolector in the catalog, most starred first. - [Boolector/boolector · ★ 359 · SMT · Alpha](https://repo.masters-masters.com/en/repos/Boolector/boolector) ## See Boolector on GitHub - [https://github.com/Boolector](https://github.com/Boolector) --- Data: GitHub