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 screenshot (Continued from #675.)

Estimated changes