Added README for constraint checker