Removed ifdef/changed copyright
Removed ifdef/changed copyright

niklasso/minisat,meteor/minisat,niklasso/minisat,mabdula/minisat,meteor/minisat,jamesbornholt/minisat,robertsami/minisat,mabdula/minisat,meteor/minisat,meteor/minisat,jamesbornholt/minisat,mabdula/minisat,robertsami/minisat