Boolector/btor2tools Stargazers
- Abolfazl Karimiabol-karimi
- Alexandre A. Mulleralemuller
- AnKuweii
- Andreas Olofssonaolofsson
- Andrew V. Teyluaytey
- Azim MuradovAzimMuradov
- John Samuel EbenezerBadboy1307
- Bo-Yuan HuangBo-Yuan-Huang
- chestercc1997
- cloudcleart
- sdglcsijun
- dai-pch
- DavirainDaviRain-Su
- dolyg
- Wz Fengfengwz17
- Gary-oak-Star
- Ghoughouzenyan
- Yuheng Sugipsyh
- wesleyguogwsu
- Guangyu (Gary) HUGy-Hu
- Mohamed Saherhalsten
- jarsonjarsonWu
- JialeiYao
- Minwoo (Josh) Kangjoshuaminwookang
- KEKE046
- Lee Manlee-man
- Rui Lilirui-shanghaitech
- Zhiyue Lilizhiyuell
- Wojciech Miłkowskimilkowski
- Chengyu Zhangmuchang
- phlo
- SalmoooSalmooo
- Shidong ShenSeddonShen
- SichaoYSichao-Yang
- Hongce Zhangzhanghongce
- Yan ZhiyuanZhiyuanYan