GitHub repository: mikhaylovilya/dpll_ocaml
Primary language: OCaml
Created: 2023-05-25T11:57:49Z
Description: dpll sat solver in OCaml