cnf-encoder

Here is 1 public repository matching this topic...

GildoAlvesdeLimaJunior / Minesweeper

Mathematical formalization and C++ CNF encoder mapping Minesweeper board states to Boolean Satisfiability (SAT) for automated deduction using industrial solvers (CaDiCaL). Developed for Logic for Computer Science at UFCA.

cpp minesweeper sat-solver propositional-logic cadical propositional-logic-encodings cnf-encoder

Updated Aug 26, 2026
C++

Add this topic to your repo

To associate your repository with the cnf-encoder topic, visit your repo's landing page and select "manage topics."

Learn more