SMC: Satisfiability modulo convex programming