SchedulerRX · ConstraintDeveloper ToolsAI & Machine LearningtpinzzzAlicense-qualityCmaintenanceA neuro-symbolic agent that turns cryptic CP-SAT INFEASIBLE errors into plain-English diagnoses and only proposes fixes it has re-verified by re-solving the real production solver. Last updated 2026-06-09MIT