feat(solver): narrate the switch — a banner for the restart #221 made real - #225

feat(solver): narrate the switch — a banner for the restart #221 made real#225

kateebonner wants to merge 1 commit into

local/amicodeharmoniqs/opencode:local/amicodefrom

kate/solver-switch-bannerharmoniqs/opencode:kate/solver-switch-bannerCopy head branch name to clipboard