Removed files involving the previous constraint solver.