vivyd.solvers.Solver ==================== .. autoclass:: vivyd.solvers.Solver :show-inheritance: :undoc-members: Methods ------- .. automethod:: vivyd.solvers.Solver.run