Determine redundant constraints about naxos

[pothitos]

Hello and thank you for opening here your first ever issue!

I think that this relates somehow with Issue #6 that, if I'm not mistaken, is described in the bibliography with the words explanation or justification.

But, to return to your question, I'm not sure what you mean by the phrase "constraints were or weren't used in finding the solution." What you mean by the verb "used?"

If by "using a constraint" you mean "checking a constraint," then the answer is that every constraint should be checked to ensure that a solution is valid.

With the exception of a constraint that implies another one. For example, the constraint X < Y implies the constraint X < Y + 1. Therefore, from these two constraints, we can safely keep only the first one and discard the latter. But Naxos Solver hasn't this feature.