mSAT:An OCaml SAT Solver
Abstract
mSAT : a SAT solving library in OCaml. It solves the satisfibility of propositional clauses. It is Modular : the user provides the theory. And it produces formal proofs.
Origin : Files produced by the author(s)