Minimum/minimal hitting set solver (:mod:`pysat.examples.hitman`) ================================================================= .. automodule:: examples.hitman :members: :inherited-members: :no-special-members: