/Timetabler

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

Primary LanguageC++MIT LicenseMIT

Pinned issues

Improve documentation

#12 opened by prateekkumarweb

Open0

Issues