Custom constraints for "COURSES EXCEPT LIST ..."

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

Custom constraints for "COURSES EXCEPT LIST ..." #15

Closed prateekkumarweb closed 6 years ago

prateekkumarweb commented 6 years ago

See title