SAT_Solver

This Python SAT Solver program implements the Davis-Putnam Algorithm and propositonal encoding in order come up with a solution to the Peg Puzzle game.

How to run program:

• Make sure Python3 is installed.
• All files used for the program must be within the same directory.
• Run the program on the terminal using "python3 Main.py".

Input data for program should be in the following format:

• First line: The number of holes and the hole that is empty at time 1.
• Remaining lines: The encoding of the puzzle as a set of triples (each line is a triple of three numbers, for holes that lie in a row).