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; while solving the set of constraints by using a constraint solver executing on a computer, identifying a phase in a series of phases of the constraint solver where an inconsistency in the set of constraints is detected, wherein detecting an inconsistency in the set of constraints implies that no value assignment can simultaneously satisfy all of the constraints in the set of constraints; receiving a subset of the set of constraints; and while solving the subset of the set of constraints by using the constraint solver executing on the computer, processing only up to the identified phase in the series of phases of the constraint solver.