Gbury / mSAT

A modular sat/smt solver with proof output.
99Updated last year

Alternatives and similar repositories for mSAT:

Users that are interested in mSAT are comparing it to the libraries listed below