krr / IDP / issues / #911 - Equality over Structures — Bitbucket

Issue #911 resolved

Ingmar Dasseville created an issue 2016-03-10

Doesn't work on three-valued ones

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=8fc327e19b279996e2dc

Comments (1)

Bart Bogaerts
- changed status to resolved
Merged in structureEquality (pull request #385)

fix structure equality

Fixes ~~#911~~

→ <<cset 55c99397ba34>>
- 2016-03-11T11:41:45+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

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