Skip to content

test: tighten the five Risch difficult-baseline entries the engine now solves - #153

Open
s-celles-bot wants to merge 1 commit into
JuliaSymbolics:mainfrom
s-celles:test/tighten-risch-difficult-baseline
Open

test: tighten the five Risch difficult-baseline entries the engine now solves#153
s-celles-bot wants to merge 1 commit into
JuliaSymbolics:mainfrom
s-celles:test/tighten-risch-difficult-baseline

Commits

  1. Commits on Oct 9, 2026