I am encoding a scheduler using oclingo; I get an infinite loop counting
iterations when adding the optimization statement below.
*#maximize [scheduled(I,t) : preference(I,P,t) = P].*
I tried a similar statement with #sum aggregate and it return the result
I used to encounter this problem before when adding a specific integrity
constraint, or when I was changing the range of history for the volatile
part of my code. It sounds like it happens when there might be some sort of
logical error. I could somehow get rid of that by changing my encoding. But
for this one I can't see anything wrong with it!
I was wondering if you have any comments on this problem?
Thank you in advance,