Universal Constraint Satisfaction Solver — P/NP/P Sandwich
Zero dependencies. Pure Python. Indexed ONES/ZEROS collections.
/csp — Universal CSP solver (variables + domains + ONES)/color — Graph coloring/nqueens — N-Queens puzzle/sudoku — 9×9 Sudoku solver/sat — Boolean satisfiability (DIMACS)/schedule — Task scheduling (conflicts + time slots)/analyze — CSP characterization (no solving)/probe — P-Left only (tighten domains)/landscape — Markov chain conflict trajectory/health — Health check/paper — Technical paper/docs — OpenAPI docs