ocaml binding for FALCONN
-
Updated
Apr 24, 2019 - C++
ocaml binding for FALCONN
OCaml bindings for the Glucose SAT solver (not really working, work in progress)
Add a description, image, and links to the ocaml-bindings topic page so that developers can more easily learn about it.
To associate your repository with the ocaml-bindings topic, visit your repo's landing page and select "manage topics."