saturn.solver

The solver uses an MILP to tackle our SPASE problem — Select a Parallelism, Allocate Resources, SchedulE

saturn.solver.milp