cyprienruffino / OCaml-SAT

Propositional logic solver in OCaml

OCaml-SAT

A poor propositional logic solver in OCaml

A sweet memory from my second year of Bachelor's degree