code: private void makeCardinalityVariables() {
          vmsCountOnNodes = new ArrayList<>(nodes.size());
          int nbVMs = vms.size();
          for (Node n : nodes) {
              vmsCountOnNodes.add(csp.intVar(makeVarLabel("nbVMsOn('", n, "')"), 0, nbVMs, true));
          }
          vmsCountOnNodes = Collections.unmodifiableList(vmsCountOnNodes);
      }
docs: Create the cardinality variables.