https://www.pistack.xyz/tags/sat-solver/ Recent content in Sat-Solver on Pi Stack Hugo en-us Fri, 25 Sep 2026 00:00:00 +0000 https://www.pistack.xyz/posts/2026-09-25-sat-solvers-cadical-vs-kissat-vs-cryptominisat/ Fri, 25 Sep 2026 00:00:00 +0000 https://www.pistack.xyz/posts/2026-09-25-sat-solvers-cadical-vs-kissat-vs-cryptominisat/ <p>Every time a build system resolves a dependency graph, a hardware team verifies a chip, or a config tool checks whether two firewall rules can ever conflict, something is answering the same question: <strong>is there an assignment of true/false to these variables that satisfies all these constraints?</strong> That question is the Boolean satisfiability problem, it is NP-complete in the worst case, and the reason it is usable in practice is that a handful of carefully engineered CDCL solvers can crack industrial instances with hundreds of thousands of variables.</p>