KRR
software
IDP
Issues
EqChainForm detection on theories
Issue #481
new
Joachim Jansen
created an issue
2013-07-22
Detect conjunctions of comparisons as EqChainForm.
Comments (0)
Log in to comment
Assignee
–
Type
enhancement
Priority
major
Status
new
Component
–
Version
–
Votes
0
Watchers
1