student solution for a SAT competition that makes sense with the competition environment

group name: foobar

sample graphs: https://mat.gsia.cmu.edu/COLOR/instances.html

see concept for problem encoding here

run cmake (and/ or make) in project dir to build executeable

run ./fooSAT <input file> with path to the DIMACS graph file as <input file> to check if graph contains Hamiltonian cycle