A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
Currently, Makefile is being used. We have to change it to CMake with customizable path options for other dependencies. (Currently, paths are hardcoded in Makefile)
After migrating to CMake build, add .travis.yml to test for build errors.
Currently, Makefile is being used. We have to change it to CMake with customizable path options for other dependencies. (Currently, paths are hardcoded in Makefile)
After migrating to CMake build, add .travis.yml to test for build errors.