Commit 2023-04-02 07:27 89458826
View on Github →feat: factor out backtracking code from solve_by_elim (#2920) Following up from discussion on zulip. No change in functionality, this is just a refactor.
feat: factor out backtracking code from solve_by_elim (#2920) Following up from discussion on zulip. No change in functionality, this is just a refactor.