XSB bites the dust again
Issue #902
resolved
http://dtai.cs.kuleuven.be/krr/idp-ide/?src=08a33db17b398bf8fa62
Unneeded ix_7_t(IXl) in main rule
Comments (3)
-
-
reporter -
assigned issue to
-
assigned issue to
-
reporter - changed status to resolved
- Log in to comment
Issue #903 was marked as a duplicate of this issue.