Blogs (27) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Fri 8 Sep 2017 11:45 - 12:30 at L3 - Poster session

We present mSAT, a modular SAT solving library written entirely in OCaml. While there already exist OCaml bindings for SAT solvers written in C, mSAT provides more features, such as proof output, and the ability to instantiate an SMT solver using a first-order theory given by the user, while being reasonably efficient compared to the existing bindings.

Fri 8 Sep

ocaml-2017-talks
11:35 - 12:30: OCaml 2017 - Poster session at L3
ocaml-2017-talks150486330000011:35 - 11:45
Talk
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Link to publication
ocaml-2017-talks150486390000011:45 - 12:30
Talk
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Link to publication
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Link to publication