docs: Mention satisfiability checks in exclude-newer#5851
Merged
pavelzw merged 1 commit intoprefix-dev:mainfrom Apr 8, 2026
Merged
docs: Mention satisfiability checks in exclude-newer#5851pavelzw merged 1 commit intoprefix-dev:mainfrom
pavelzw merged 1 commit intoprefix-dev:mainfrom