Commit 2022-11-22 22:32 8679c7ac
View on Github →feat: add trace nodes to SolveByElim (#681)
Add trace nodes to solve_by_elim
which make the search structure and local successes/failures a bit clearer. For example
(Continued from #675.)
feat: add trace nodes to SolveByElim (#681)
Add trace nodes to solve_by_elim
which make the search structure and local successes/failures a bit clearer. For example
(Continued from #675.)