kdrag.solvers.smt2tptp
======================

.. currentmodule:: kdrag.solvers

.. autofunction:: smt2tptp