GitHub repository: nickrobison/ocaml-fact
Primary language: OCaml
Description: OCaml bindings to FaCT++ reasoner