Closed GregGelfond closed 1 month ago
Compiling the nurse scheduling example as provided in the repository generates what appears to be invalid ASP syntax on line 23 of the resulting logic program:
:- nurse(WRK_N_D), #count{D: work_in(D,WRK_N_D,"rest"), shift("rest",_,_), D <= D2} < 2, day(D2), ['D2+13', 'D2'] < 353.
The issue is the generated quotes and square brackets on the left hand side of the comparison in the final literal of the rule body: ['D2+13', 'D2']
['D2+13', 'D2']
Compiling the nurse scheduling example as provided in the repository generates what appears to be invalid ASP syntax on line 23 of the resulting logic program:
The issue is the generated quotes and square brackets on the left hand side of the comparison in the final literal of the rule body:
['D2+13', 'D2']