TimetableOps Scheduling Engine
TimetableOps is a multi-constraint algorithmic scheduling platform built for higher education and complex workforce rosters. By combining constraint satisfaction solvers with real-time capacity telemetry, it generates conflict-free course timetables in under 2 seconds.
Z3 theorem prover constraint solver, dynamic substitute dispatching, teacher preference weighting, and automated calendar export.
Python, FastAPI, Z3 Solver, TypeScript, React, PostgreSQL, Docker.