A Vim plugin that adds support for the SMT-LIB2 format (including Z3's e...
CLP(SMT) on top of miniKanren
This plugin allows you to configure email notifications for build results
A simple (unfinished) SMT solver for QF_ABV.
Targoman SMT framework source code