GitHub - himadrin/CNFProblem: AI to solve CNF problems using WalkSAT and GSAT

himadrin / CNFProblem Public

AI to solve CNF problems using WalkSAT and GSAT

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Australia Files		Australia Files
CNF Files		CNF Files
Code		Code
Generated Sol Files		Generated Sol Files
Sud Files		Sud Files
.DS_Store		.DS_Store
SAT.py		SAT.py
Sudoku.py		Sudoku.py
SudokuReport_HN.pdf		SudokuReport_HN.pdf
all_cells.cnf		all_cells.cnf
display.py		display.py
one_cell.cnf		one_cell.cnf
puzzle_bonus.cnf		puzzle_bonus.cnf
rows.cnf		rows.cnf
rows_and_cols.cnf		rows_and_cols.cnf
rules.cnf		rules.cnf
solve_australia.py		solve_australia.py
solve_sudoku.py		solve_sudoku.py
sudoku2cnf.py		sudoku2cnf.py