A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
It may be nice to have series of short videos on how to install and/or how to use with a few small examples. One can create these videos using screen recording utilities (such as recordmydesktop for Ubuntu).
This is purely for enhancement of the documentation and user education and is in no way critical for the functionality.
It may be nice to have series of short videos on how to install and/or how to use with a few small examples. One can create these videos using screen recording utilities (such as recordmydesktop for Ubuntu).
This is purely for enhancement of the documentation and user education and is in no way critical for the functionality.