Sounds like a solution looking for a problem...
> > > I don't think this function is used all that much inside isl.
> > >
> > > To make full use of an off-the-shelf ILP solver, are there other more
> > > frequently-used functions that should be modified too?
> >
> > The report explains in detail where an LP and an ILP solver is used.
>
>
> If I'm understanding correctly:
>
> - Pluto, the main scheduler, uses an ILP solver.
> - Feautrier, the fallback scheduler, also needs to solve an ILP problem
> sometimes "if the solution of the LP problem turns out be non-integral".
>
> So why isn't the solve_ilp function used all that much? Am I missing
> something?
Because solve_ilp is not a lexicographic solver and is therefore
not used by the scheduler at all.
skimo