Skip to content

return Sc::zero() for unchanged#47

Closed
NewBornRustacean wants to merge 1 commit intoSolverForge:mainfrom
NewBornRustacean:early-return-cross_bi_incremental
Closed

return Sc::zero() for unchanged#47
NewBornRustacean wants to merge 1 commit intoSolverForge:mainfrom
NewBornRustacean:early-return-cross_bi_incremental

Commits

Commits on May 1, 2026