0.3.020.9 MB
MIT
strict
Unknown
Timetabler
A highly customizable timetabling software for educational institutions
that encodes timetabling constraints as a SAT formula and solves them
using a MaxSAT solver.
that encodes timetabling constraints as a SAT formula and solves them
using a MaxSAT solver.
Update History
0.3.0 (2)13 Dec 2025, 09:47 UTC
28 Oct 2018, 11:47 UTC
28 Oct 2018, 20:50 UTC
13 Dec 2025, 09:47 UTC