refactor: remove oop in sat · ocaml/dune@ad6b651 · GitHub

Commit

refactor: remove oop in sat

Browse files

Signed-off-by: Rudi Grinberg <[email protected]>

<!-- ps-id: 7a25d2d4-c6c5-41bd-9c68-1bf35c9844f5 -->

Signed-off-by: Rudi Grinberg <[email protected]>

Loading branch information

rgrinberg committed Jan 13, 2025

1 parent 0f88ce5 commit ad6b651