Grounder equality reasoning bug

Issue #676 resolved
Broes De Cat created an issue

terms in equalities are moved to the other side incorrectly.

Comments (1)

  1. Log in to comment