Re: [klee-dev] Getting path formula in dimacs format

Hi, On 11 June 2017 at 17:20, Awanish wrote: > Hi, > > I want to get/convert path constraint into dimacs/SAT format. Is there any > way to convert in the desired form? No such feature exists in KLEE itself but I think it should still be possible to get queries in the

[klee-dev] Getting path formula in dimacs format

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