support for many algorithms in arcConsistency.py
naming fix
basic benchmarking framework in place
basic benchmarking framework in place
better benchmarking
optimized use of queue
Merge branch 'arcconoptimize'
added backtracking solver
cleaned up naming conventions