OAI/Computability/BinPacking/Machines/
1166 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- DropPackingBoundMachine.lean 17 declarations
- FrameEmitMachine.lean 10 declarations
- GraphPackingBounds.lean 28 declarations
- GraphPackingGlobalExecution.lean 88 declarations
- GraphPackingJobCleanup.lean 4 declarations
- GraphPackingJobEdge.lean 31 declarations
- GraphPackingJobList.lean 107 declarations
- GraphPackingMachine.lean 63 declarations
- GraphPackingOutput.lean 26 declarations
- GraphPackingPreparation.lean 18 declarations
- GraphPackingPreparationFinish.lean 98 declarations
- GraphPackingStockStreams.lean 8 declarations
- GraphPackingVerticesBound.lean 41 declarations
- IntegerPackingArithmetic.lean 23 declarations
- MachineBoundedIteration.lean 8 declarations
- MachineControlEmbedding.lean 11 declarations
- MachineKeepDecisionTyped.lean 52 declarations
- PackingCountMachine.lean 29 declarations
- PackingCountedProgram.lean 116 declarations
- PackingJobCoverage.lean 7 declarations
- PackingJobLoop.lean 102 declarations
- PackingPoolMachine.lean 77 declarations
- PackingPowerProgram.lean 117 declarations
- PackingSetupGraph.lean 40 declarations
- PackingVertexUpdate.lean 45 declarations