Add sample CNF file with numbers 1 to 11, same range as our adder's CNF
Add test cases and parser for CNF file [work-in-progress]
added report file and update py
fixed merge
new cnf file for SAT testing
added main