Adding arc concistency algorithms; must work on constraint functions
make constraint functions be aware of swapped variables; added some tests
removed useless comments
added ac3 to backtrack
ignore constraints that are not binary
Merge branch 'arc-concistency' into develop