schedlab
/schedulerConstraint scheduling on synthetic data
A public demo of CP-SAT scheduling. Break the week with three controls and watch the solver fix it or refuse. When no valid schedule exists it names what binds, proposes candidate relaxations, and re-solves each one to check it, flagging any it could not verify. Every number on it is generated.