Simplified if expression
All_arcs returns a set only with variables, AC3 uses that set correctly
Removed unused function
Removed another unused function
Refactored the logic to call a constraint with variables and values in the correct order
Name change
Big refactor of the revise function
Avoid trying to remove values already removed
Two more letters, a million less wtfs
Removed no longer needed tests, updated tests for all_arcs
Name change
Better (separated, simpler) tests for all_arcs
Refactored the tests for the new revise
Is_square refactored (will be used in ac3 tests), and function name change
Complete tests for the new AC3
Typo
Name changes, for sane debugging
Fixed the complex test for ac3
Merge branch 'fix-inference' into develop