Add an include, and an xor-operator for Literals
Add an include, and an xor-operator for Literals
meteor/minisat,robertsami/minisat,meteor/minisat,niklasso/minisat,jamesbornholt/minisat,jamesbornholt/minisat,mabdula/minisat,mabdula/minisat,meteor/minisat,meteor/minisat,mabdula/minisat,niklasso/minisat,robertsami/minisat