-
assigned issue to
Bug in xsb recursion over negation check
Issue #442
resolved
the check for recursion over negations when using xsb is wrong, sometimes such recursion is invented... (see attached file)
Comments (3)
-
-
reporter -
assigned issue to
-
assigned issue to
-
reporter - changed status to resolved
- Log in to comment