GitHub repository: Gbury/mSAT
Primary language: OCaml
Description: A modular sat/smt solver with proof output.