fix a bug in constraint equal checking, need to reset the solver.
resolve conflict