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
Remove PEGTL compilation step (was redundant).
#31
Closed
prateekkumarweb
closed
6 years ago
prateekkumarweb
commented
6 years ago
See title.
See title.