API update, ints which should be unsigned became size_t type.
API update, ints which should be unsigned became size_t type.

pmatos/maxsatzilla,pmatos/maxsatzilla,pmatos/maxsatzilla,pmatos/maxsatzilla,pmatos/maxsatzilla