SAT solver, sudoku solver and minimal sudoku generator for CS202(Logic for Computer Science) assignments. This repository is a joint work by Pratyush Singh and me.
-
Notifications
You must be signed in to change notification settings - Fork 1
vaibhavjindal/sat_solver
About
SAT solver, sudoku solver and minimal sudoku generator for CS202 assignments
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published