CNF compiler
changed CNF generator
added report file and update py
fixed merge
new cnf file for SAT testing
added main
added new sample
changed python code
swayam fix
new py
RiNot