XSB doesn't respect the right order relation

Issue #901 resolved
Ingmar Dasseville created an issue

Comments (1)

  1. Log in to comment