[klee-dev] klee_print_expr in SMTLIB2 format

[Ramanuj Chouksey]

Hi,
How do I convert the symbolic expression printed by klee_print_expr
into SMTLIB2 format? Is it possible using kleaver?

Thanking you,
Ramanuj,
Research Scholar,
CSE, IIT Guwahati,
India.