A modular sat/smt solver with proof output. - View it on GitHub