We don't need 'fuzzsat' in the GIT, it's now externally needed
Adding capability to check files with XOR clauses in them

Through the use of xor_to_cnf_class python file in cnf-utils