Timetabler
Version 0.3.0
Timetabler
Enjoying this site? Please
to help keep the Snapstats.org lights on.
Description
A highly customizable timetabling software for educational institutions
that encodes timetabling constraints as a SAT formula and solves them
using a MaxSAT solver.
