Fixpoint v0.16.3

CPSolver.Examples.BinPacking.UpperBound (Fixpoint v0.16.3)

Precompute upper bounds for bin packing instance based on heuristics. 'First fit decreasing' is the one that is implemented

Link to this section Summary

Functions

first_fit(weights, capacity)
first_fit_decreasing(weights, capacity)
test()

Link to this section Functions

Link to this function

first_fit(weights, capacity)

Link to this function

first_fit_decreasing(weights, capacity)

Link to this function

test()