How to certify a SAT-solver in a few lines of Coq ?
A Tutorial on Defensive Certification

Author Sylvain Boulmé

Description

This work is now improved by The Impure Library and its application to SatAnsCert. See also our publication on HAL.

Last modification: March 2019