[freemint]

Not all ILP can be converted to SAT, unbounded integers can not be processed in one SAT problem without Infinite formulas