#
modern-cplusplus
Here are 2 public repositories matching this topic...
CDCL Boolean Satisfiability (SAT) Solver written in modern C++
cpp modern-cpp sat-solver cdcl-algorithm satisfiability cdcl cpp23 sat-solving sat-solvers cdcl-solver modern-cplusplus
-
Updated
Sep 9, 2026 - C++
Add this topic to your repo
To associate your repository with the modern-cplusplus topic, visit your repo's landing page and select "manage topics."