When constraints cannot be satisfied, does the system identify the conflicting pair?
#292
by chaeminnam - opened
An unsatisfiable query is more useful if the system points at the two or three constraints that are in conflict. Conflict diagnosis turns a dead end into a learning opportunity.
Thanks for your feedback.