1. A method for identifying inconsistent constraints, the method comprising: receiving a set of constraints, wherein each constraint is defined over one or more random variables from a set of random variables; identifying, by computer, a phase in a series of phases of a constraint solver where an inconsistency is detected while solving the set of constraints; receiving a subset of the set of constraints; and in response to determining that an inconsistency is not detected in the identified phase while solving the subset of the set of constraints, returning a result of said determining without processing subsequent phases in the series of phases.