Grounding issue (xsb or bdds?)

Issue #776 new
Broes De Cat created an issue

Attached file goes in memory overflow. It is unclear what causes it: fine if any line is commented fine if xsb is disabled

also affected by the >0 in the rule body

Comments (0)

  1. Log in to comment