Exact Solver
============

.. currentmodule:: virne.solver.exact

.. autosummary::

    MipSolver
    DeterministicRoundingSolver
    RandomizedRoundingSolver


MipSolver
---------

.. card::
    :class-header: sd-bg-success sd-text-white
    :class-card: sd-outline-success  sd-rounded-1

    Documentation
    ^^^

    .. autoclass:: MipSolver
        :members:
        :private-members:


DeterministicRoundingSolver
---------------------------

.. card::
    :class-header: sd-bg-success sd-text-white
    :class-card: sd-outline-success  sd-rounded-1

    Documentation
    ^^^

    .. autoclass:: DeterministicRoundingSolver
        :members:
        :private-members:


RandomizedRoundingSolver
------------------------

.. card::
    :class-header: sd-bg-success sd-text-white
    :class-card: sd-outline-success  sd-rounded-1

    Documentation
    ^^^

    .. autoclass:: RandomizedRoundingSolver
        :members:
        :private-members: