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
38
stars
9
forks
source link
Add clang build in Travis
#25
Closed
sukrutrao
closed
6 years ago