OAI/Computability/BinPacking/Packing/
960 declarations, 0 contain sorry, 0 declared as axioms; 24 files
Files
- CapacityScan.lean 5 declarations
- ConstructLocalState.lean 1 declarations
- CoordinateOrder.lean 32 declarations
- ExtractedCover.lean 62 declarations
- FiniteHall.lean 7 declarations
- FractionWidth.lean 84 declarations
- GoodAnchorBound.lean 22 declarations
- ItemEnumeration.lean 35 declarations
- K4Graph.lean 60 declarations
- LiteralSlotGap.lean 8 declarations
- LocalJobCounts.lean 3 declarations
- LocalTemplateBases.lean 43 declarations
- PackingAssignments.lean 12 declarations
- PackingCoordinates.lean 80 declarations
- PackingFeasibility.lean 23 declarations
- PackingGapDefinitions.lean 54 declarations
- PackingScalar.lean 132 declarations
- PackingScalarExpression.lean 139 declarations
- PackingSelections.lean 53 declarations
- PackingTokenAffine.lean 22 declarations
- PairExpressionCompiler.lean 31 declarations
- PhaseIteration.lean 27 declarations
- PhysicalRolePacking.lean 1 declarations
- PrimaryLoss.lean 24 declarations