kdrag.solvers.tptp2smt
======================

.. currentmodule:: kdrag.solvers

.. autofunction:: tptp2smt