S

SchedCL

Resource-Constrained Scheduling Solver based on difference logic and clause learning