Email Post: An Approximation Framework for Solvers and Decision Procedures