AlphaUncommon
arminbiere/cadical
CaDiCaL SAT Solver
- Owner
- arminbiere (personal account)
- Stars
- Stars: 629
- Forks
- Forks: 194
- Language
- C++
- License
- MIT
- Created
- 2016
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by arminbiere
All 5 repos by arminbiere- arminbiere/kissatStars: 682CAlpha
- arminbiere/satchStars: 127CPrototype
- arminbiere/lingelingStars: 111CPrototype
- arminbiere/aigerStars: 107CPrototype
Nearby in C++
All C++ repos- llvm/PolygeistStars: 629C++Alpha
- yzfzzz/depth-detectStars: 629C++Alpha
- hku-mars/ROG-MapStars: 629C++Alpha
- gree/lwfStars: 629C++Alpha
- DacoTaco/priiloaderStars: 629C++Alpha