issues
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
Update description to resolve #21
#22
Closed
sukrutrao
closed
6 years ago
sukrutrao
commented
6 years ago
Signed-off-by: Sukrut Rao
cs15btech11036@iith.ac.in
Signed-off-by: Sukrut Rao cs15btech11036@iith.ac.in