Make "budget" numbers 64-bit to accommodate large number of propagations.
Make "budget" numbers 64-bit to accommodate large number of propagations.

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