X

xorblast

Parsing and blasting of XOR clauses in DIMACS