GitHub repository: polazarus/ocamlyices2
Primary language: C
Description: Yices 2 SMT solver binding for OCaml