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
Add support for Snap
#28
Closed
prateekkumarweb
closed
5 years ago