docs: public Assignment intArrayToAssignment(int[] values) {
      Object[] objectValues = new Object[nums.length];
      for (int i = 0; i < nums.length; i++) {
        objectValues[i] = ((DiscreteVariable) vars[i]).getValue(values[i]);
      }
      return Assignment.fromSortedArrays(nums, objectValues);
    }