Weighted MaxSAT Backend
=======================

The :mod:`ocean.maxsat` module exposes the weighted MaxSAT formulation backed
by PySAT. The main public entry point is :class:`ocean.maxsat.Explainer`; the
remaining classes document the underlying Boolean model, variable bundles, and
manager helpers used to build that formulation.

.. automodule:: ocean.maxsat
   :members:
   :undoc-members:
   :imported-members:
   :member-order: bysource