Default intuition solver is now auto#17811

SkySkimmer wants to merge 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

SkySkimmer:intuit-autoSkySkimmer/rocq:intuit-autoCopy head branch name to clipboard