Remove a file that is not used in main branch.
Remove a file that is not used in main branch.

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