C++ part of the interface with ADMM.cc