Instead of implementing it in every test case each constraint should have a is_solved_constraint function which can be called for testing. It checks whether the constraint is solved.
A mother function will go through all variables and checks if every variable is fixed.
Instead of implementing it in every test case each constraint should have a
is_solved_constraintfunction which can be called for testing. It checks whether the constraint is solved. A mother function will go through all variables and checks if every variable is fixed.