code: private void fullKnapsack() throws ContradictionException {
          for (int bin = 0; bin < prop.nbBins; bin++) {
              for (int d = 0; d < prop.nbDims; d++) {
                  knapsack(bin, d);
              }
          }
      }
docs: Propagate a knapsack on every node and every dimension.
  
  @throws ContradictionException