Hi, I want to get/convert path constraint into dimacs/SAT format. Is there any way to convert in the desired form? -- Thanks and Regards Awanish Pandey PhD, CSE IIT Kanpur