SatEX Solver
A Satisfiability Modulo Convex programming (SMC) solver
Downloads:
The latest version of SatEX can be downloaded from here. Note that SatEX requires CPLEX and CPLEX Pyton API . Installation instructions along with instructions to run the provided examples can be found in the README file.