krr / IDP / issues / #901 - XSB doesn't respect the right order relation — Bitbucket

Issue #901 resolved

Ingmar Dasseville created an issue 2015-08-17

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=7bcbd961061b644cb48c

Comments (1)

Joachim Jansen
- changed status to resolved
fixed issue ~~#901~~, removed xsbshortnames option (could not be activated without breaking correctness)

→ <<cset a06f76b47126>>
- 2017-10-27T12:48:55+00:00
Log in to comment

Assignee: Joachim Jansen

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 2

Jira: the preferred issue tracker for Bitbucket. Join the team!