search

sukrutrao / Timetabler

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
https://timetabler.readthedocs.io
MIT License
37 stars 9 forks source link

Fix code format: uniform across source files #19

Closed sukrutrao closed 6 years ago

sukrutrao commented 6 years ago

Signed-off-by: Sukrut Rao cs15btech11036@iith.ac.in