msat

Library containing a SAT solver that can be parametrized by a theory