A seating planner that names the rules that clash, with a SAT solver in TypeScript

When a teacher's seating requests can't all hold, most planners say "no solution". That's true and...