kdrag.solvers.funcdecl\_smtlib
==============================

.. currentmodule:: kdrag.solvers

.. autofunction:: funcdecl_smtlib