move the constraint removal to the main solver loop
right now the constraint removal is handled somewhere deep in a maze of recursive functions, it should be done immediately after each heuristic application, in the main solver loop.
right now the constraint removal is handled somewhere deep in a maze of recursive functions, it should be done immediately after each heuristic application, in the main solver loop.