GitHub topics: sat-solver-application
hadipourh/autoguess
An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
Language: Python - Size: 24.3 MB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 28 - Forks: 4
davidsusu/jsatbuilder
SAT formula builder with constraint dependency tracking written in Java
Language: Java - Size: 731 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
HM0880/knot-mosaics
Encode knot mosaics as a SAT formula and solve with a SAT solver.
Language: Python - Size: 93.8 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
tikoehle/timetable
Solving the high school timetable problem using a SAT-Solver
Language: Jupyter Notebook - Size: 40 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
JohnCassavetes/SAT-Raw-Score-Converter
📝 A Quick SAT Score Converter
Language: Python - Size: 65.4 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1
gortibaldik/beautiful-sat-solver
Implementation of DPLL, CDCL together with server-client architecture for visualization and execution of benchmarks and sat-reductions of few known problems.
Language: Python - Size: 3.29 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
EZLiang/SudokuSAT
Using SAT solvers to solve Sudoku puzzles very quickly
Language: Python - Size: 306 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
