kdrag.solvers.kb.multiset.deduce
================================

.. currentmodule:: kdrag.solvers.kb.multiset

.. autofunction:: deduce