Constraints is a nested list that contains pairs of the form {constraints, methods}, where: constraints is a list of constraintsmethods is the list of methods that are currently considered for solving constraints