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.