entrypoint
==========

.. currentmodule:: pqp.refutation

.. autofunction:: entrypoint