A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
I planned to have other tangential tasks covered by logger, such as controlling verbosity or helping formatting text, where the "[]" type of label should not be there. The EMPTY level skips that, and is the default, so if only other options are passed, then there will be no severity-related effects in the output.
Implement a logger to display output with different severity and verbosity levels.
TODO