stp.parse_smt2_string
=====================

.. autofunction:: stp.parse_smt2_string