BetaRare
niklasso/minisat
A minimalistic and high-performance SAT solver
- Owner
- niklasso (personal account)
- Stars
- Stars: 1,201
- Forks
- Forks: 424
- Language
- C++
- License
- None
- Created
- 2009
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in C++
All C++ repos- ethan-li-coding/SemiGlobalMatchingStars: 1,202C++Beta
- digint/tinyfsmStars: 1,201C++Beta
- gta-reversed/gta-reversedStars: 1,201C++Beta
- marcoschwartz/aRESTStars: 1,200C++Beta
- SaschaWillems/Vulkan-glTF-PBRStars: 1,200C++Beta