Encoding SAT in OCaml GADTs(farlow.dev)4 points·by farlow·vor 12 Monaten·0 commentsfarlow.devEncoding SAT in OCaml GADTshttps://farlow.dev/2025/07/27/encoding-sat-in-ocaml-gadts0 commentsPost comment—