remove constraint satisification functions from Solver