tpinzzz

SchedulerRX · Constraint Debugger Agent

将 CP-SAT 不可行报错转成可读诊断，并给出经重求验证的修复建议