Skip to content

chore(sat): rename function to match its intent#11493

Merged
rgrinberg merged 1 commit intoocaml:mainfrom art-w:sat-internalFeb 22, 2025

Commits

Commits on Feb 21, 2025