(self: SolverType)
| 120 | return {} |
| 121 | |
| 122 | def copy(self: SolverType) -> SolverType: |
| 123 | # The deepcopy may be quite heavy for some solvers; if that's the |
| 124 | # case they should override this function. |
| 125 | return deepcopy(self) |
| 126 | |
| 127 | |
| 128 | class DummySolver(Solver): |
no outgoing calls