Encoding SAT in OCaml GADTs #1 Post by farlow » Mon, Jul 28, 2025, 12:57 AM UTC Encoding SAT in OCaml GADTsfarlow.dev