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.