Arc Consistency Python, Using Arc Consistency in a solver is called Maintaining Arc Consistency.