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

Error parsing constraints #43

Open nagasai-iitr opened 4 years ago

nagasai-iitr commented 4 years ago

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 for the above input

 [INFO]    Input is valid
 [ERROR]   ./custom.txt:1:0(0) Error parsing custom constraints

While my custom.txt includes:

COURSE {C1} IN SLOT {D} WEIGHT -1
COURSE EXCEPT {C1, C2} UNBUNDLE NOT IN CLASSROOM {CL2, CL3} WEIGHT -1
COURSE EXCEPT {C1, C4} UNBUNDLE IN SLOT {A, B} WEIGHT -1
ShadowScripts1 commented 2 years ago

did you solve this probelm?