Blogs (28) >>
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

Displayed time zone: Belfast change