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