Added setVerbosity(int) to control console output of miniSat+.
Added setVerbosity(int) to control console output of miniSat+.

drayside/kodkod,drayside/kodkod,drayside/kodkod,drayside/kodkod,drayside/kodkod