Add a remove method to the Heap class.
Add a remove method to the Heap class.

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