Section: New Results

Automated theorem proving

G. Bury presented the mSAT library at the OCaml workshop during the International Conference on Functional Programming [21]. This library provides an efficient SAT/SMT solver core written in OCaml, and presented as a functor to allow instantiation with different theories.