GitHub / msoos / cryptominisat
An advanced SAT solver
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msoos%2Fcryptominisat
PURL: pkg:github/msoos/cryptominisat
Stars: 877
Forks: 195
Open issues: 6
License: other
Language: C++
Size: 58.8 MB
Dependencies parsed at: Pending
Created at: over 13 years ago
Updated at: 11 days ago
Pushed at: about 1 month ago
Last synced at: 3 days ago
Commit Stats
Commits: 16272
Authors: 62
Mean commits per author: 262.45
Development Distribution Score: 0.173
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/msoos/cryptominisat
Topics: cdcl-algorithm, cnf, cryptography, dpll, proof, sat-solver, verification, xor