stp.parse_smt2_file
===================

.. autofunction:: stp.parse_smt2_file