resolve constraint checker