GitHub repository: polazarus/ocamlyices
Primary language: OCaml
Description: Yices SMT solver's binding for the OCaml programming language