C++ modelling library for integer programming