/*                        AVAILABLE METHODS IN SSSB LIBRARY
*/

void staticSSB(IloEnv &env,                                //Ilog Environment
               IloModel &model,                            //Ilog Model
               IloArray<IloIntVarArray> variables,         //Decision variables
               int minValue, int maxValue,                 //The min and max value among all domains
               vector<int> valPartitionSize,               //The size of value partitions
               vector<int> signatureOrder);                //The order of variable partitions in signatures