Hi, I'm new in KLEE and I have some *cvc *and *pc* queries generated by klee and I want to transform it into linear equations such as x <= 10; x >= 2. Can I do this using klee? Best regards, Victor -------------- next part -------------- HTML attachment scrubbed and removed