msoos/cryptominisat
View on GitHub ↗ ★ 944 C++
An advanced SAT solver
5 mentions on Hacker News by 4 people: 0 stories, 5 comments · first 2016-09-11 · latest 2025-10-28
20082026
-
…develop a propositional model counter (for computing probabilities), that is currently SOTA [2] [1] https://github.com/msoos/cryptominisat/ [2] https://github.com/meelgroup/ganak/
comment by zero_k · 2025-10-28 · in SATisfying Solutions to Difficult Problems -
…than compiling it into a d-DNNF form, which most SOTA model counters (and so I as well) do. [1] https://github.com/msoos/cryptominisat/ [2] https://github.com/meelgroup/ganak/ [3] https://mccompetition.org/
comment by zero_k · 2025-08-06 · in Some thoughts on journals, refereeing, and the P vs NP problem -
…conflict clauses are rare so there is little communication between solvers required. CryptoMiniSAT: https://github.com/msoos/cryptominisat Author's goal to have solver that is good in computing range from single CPU up to cluster. Judging…
comment by thesz · 2023-05-26 · in The Silent (R)evolution of SAT -
…I love how fast your app is! [1] https://www.coursera.org/learn/automated-reasoning-sat/ [2] https://github.com/msoos/cryptominisat [3] http://www.satcompetition.org/2009/format-benchmarks2009.htm...
comment by SilasX · 2019-07-22 · in WASM Builds of the Z3 SMT Solver -
Repository: https://github.com/msoos/cryptominisat
comment by brudgers · 2016-09-11 · in CryptoMiniSat 5.0.1 released – with MIT license