Skip to content

Lemke on trees stops after finding 1 eq; stop_after/max_depth not used#722

Merged
tturocy merged 6 commits intomasterfrom
issue_671
Jan 2, 2026
Merged

Lemke on trees stops after finding 1 eq; stop_after/max_depth not used#722
tturocy merged 6 commits intomasterfrom
issue_671

Commits

Commits on Jan 2, 2026