Code

refactor: remove oop in sat#11288

Code

Merged

rgrinberg merged 1 commit intomainocaml/dune:mainfrom ps/rr/refactor__remove_oop_in_satocaml/dune:ps/rr/refactor__remove_oop_in_satCopy head branch name to clipboardJan 14, 2025

+178-185

Commits

Commits on Jan 13, 2025

• refactor: remove oop in sat

  Show description for ad6b651
  rgrinberg

  committed
  ad6b651

  Copy full SHA for ad6b651