Update format.
Add libm as a dependency of cplex
Add a CMake build script for CPLEX
Fix format
Refactor and extend C++ solver interface.
Add an SSD solver.