This is to highlight the issues pointed out by Martin in the comment section of https://sourceforge.net/p/potassco/bugs/70/. For the base and cumulative part given in https://sourceforge.net/p/potassco/bugs/70/#b510 streamed queries as in https://sourceforge.net/p/potassco/bugs/_discuss/thread/4501f706/4334/attachment/input.lp (i.e., volatile constraints) are forgotten as soon as the cumulative part will be incremented. Apparently, the life-time of the #volatile statements in the stream falsely depend on the incremental counter of the cumulative part. That is, they are dropped as soon as the incremental counter is raised while searching for an answer.
Log in to post a comment.