automatic constraint recognition engine