Equivalence Preprocessing for incremental programs
MaxOstrowski opened this issue · comments
clasp is currently missing an equivalence preprocessing for incremental programs.
As shown in this example, no equivalences are detected.
#script (python)
import clingo
def main(prg):
prg.configuration.solve.models = 0
prg.ground([("base", [])])
prg.solve()
#end.
{a;b}.
:- a, not b.
:- b, not a.
This is supposed to be an open feature request,
as there are no concrete ideas how to support this feature.