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 _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev