- changed status to resolved
Equality over Structures
Issue #911
resolved
Doesn't work on three-valued ones
http://dtai.cs.kuleuven.be/krr/idp-ide/?src=8fc327e19b279996e2dc
Comments (1)
-
- Log in to comment
Merged in structureEquality (pull request #385)
fix structure equality
Fixes
#911→ <<cset 55c99397ba34>>