An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
-
Updated
Aug 3, 2023 - Python
An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
Helltaker puzzle solver. Using SAT solver.
📝 A Quick SAT Score Converter
Solving the high school timetable problem using a SAT-Solver
Using SAT solvers to solve Sudoku puzzles very quickly
SAT formula builder with constraint dependency tracking written in Java
Encode knot mosaics as a SAT formula and solve with a SAT solver.
Implementation of DPLL, CDCL together with server-client architecture for visualization and execution of benchmarks and sat-reductions of few known problems.
Add a description, image, and links to the sat-solver-application topic page so that developers can more easily learn about it.
To associate your repository with the sat-solver-application topic, visit your repo's landing page and select "manage topics."