Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

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.