GitHub - Aeyush10/SAT_Solver: A Python implementation of a sudoku generator and solver using first order logic.

Aeyush10 / SAT_Solver Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A Python implementation of a sudoku generator and solver using first order logic.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
Readme.txt		Readme.txt
assignment_1_report.pdf		assignment_1_report.pdf
generator(q2).py		generator(q2).py
input_q1.csv		input_q1.csv
output_q1.csv		output_q1.csv
output_q2.csv		output_q2.csv
solver(q1).py		solver(q1).py

Repository files navigation

Solver(q1): Can be run on any Python IDE which supports interactive programming. Input file to be created before execution is named input_q1.csv
Generator(q2): Can be run on any Python IDE which supports interactive programming.
Test cases provide various kinds of outputs as well as inputs. Each of the test case files can be copied to input_q1.csv and fed to the solver program. Expected outputs are all compiled in the outputs.csv file in the tests folder.