This program is written and tested in Python 3.9 Frontend: The frontend reads the input file and parses the peg game. It then converts the peg game into a CNF formula and writes it to the output file.
Peg Solitaire is a game that consists of a board with 33 holes arranged in the pattern given in the pictures below. At the start, every hole except the center is filled with a peg. The player then ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results