kdrag.parsers.tptp.to\_z3
=========================

.. currentmodule:: kdrag.parsers.tptp

.. autofunction:: to_z3