Big changes: Simplification of constraint related code. Logic for constraint satisfaction checking was moved into a new Vertex subclass.
Additonal files for previous commit
And more files