search

potassco / clingo

🤔 A grounder and solver for logic programs.
https://potassco.org/clingo
MIT License
599 stars 79 forks source link

bug in assignment aggregate rewriting #435

Closed rkaminsk closed 1 year ago

rkaminsk commented 1 year ago

There is a bug in the internal rewriting for grounding. The comparison A!=B should be pruned from the accumulation rules for the first aggregate.

:- A!=B; A = #max { }; B = #count { }.