generate_subsets()
Much more general conversion IP→SAT.
SAT solver can ignore the cost function.
Check feasibility after calling Minisat.
Speed up generate_subsets a lot.
Guard against memory exhaustion when generating subsets.
Speed up adding clauses.
Fix GCC warning (-Wreorder).