Timetabler
Timetabler copied to clipboard
sukrutrao
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
I have successfully build the project but having this error for this input from the example directory ``` nagasai@Nagasai:~/Timetabler/examples/example2$ timetabler -f ./fields.yaml -i ./input.csv -c ./custom.txt -o ./output.csv ``` ERROR...
i have been trying to run your program after a couple of errors i arrived at (timetabler -f fields.yml -i input.csv -c custom.txt -o output.csv) and the output is always(Run...
- [x] Update custom constraints grammar. - [x] Move documentation from wiki to docs/ folder - [ ] Add video tutorials (See #20) - [ ] Improve documentation/wiki (See #41)
Currently, binomial encoding is used for at most one constraints. This PR replaces it with the totalizer encoding based off Open WBO. To be merged after #40
Each course can currently have only one instructor. This should be changed to allow multiple instructors to be specified per course, along with the segments for which each instructor teaches...
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...
Current error messages do not specifically point to the source of error, fix this.