you searching - add a constraint to the current solver model