Adding script to generate dot output for constraints