SatEX Solver

A Satisfiability Modulo Convex programming (SMC) solver