src.modules.backend.solver ========================== .. automodule:: src.modules.backend.solver