Add the 'has()' operation to IntMaps.
Add the 'has()' operation to IntMaps.

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