Trending Repos
Trending
Risers
Newest
Collections
Topics
Compare
Repositories
Developers
Languages
Collections
Badges
msoos/cryptominisat — Trending Repos
Back to trending
msoos/cryptominisat
An advanced SAT solver
C++
941 stars
204 forks
cdcl-algorithm
cnf
cryptography
dpll
proof
sat-solver
verification
xor
Rankings
Period
Rank
Score
Daily
#7835
0.0
Weekly
#13378
0.0
Monthly
#13860
0.0
How scoring works
Engagement
Total stars
Daily new stars
Embeds
Best rank
#1149
Badge
Stats card
Growth chart
Light
Dark
Format
Markdown
HTML
Markdown
Copy
[](https://trending-repos.com/repositories/msoos/cryptominisat?utm_source=github&utm_medium=badge)
