GitHub repository: LFSC/smtcoq
Primary language: Coq
Description: Communication between Coq and SAT/SMT solvers