Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

BetaRare

msoos/cryptominisat

An advanced SAT solver

Owner: msoos (personal account)
Stars: Stars: 943
Forks: Forks: 207
Language: C++
License: None
Created: 2012
Topics: sat-solververificationcryptographycnfxorcdcl-algorithmdpllproof
Tier: Beta (700 to 1,999 ★) What this tier means

Nearby in C++

KDAB/KDDockWidgetsStars: 943C++Beta
LeagueToolkit/cslol-managerStars: 943C++Beta
leolobato/playden-ps5Stars: 943C++Beta