OAI/Computability/BinPacking/Search/
1354 declarations, 0 contain sorry, 0 declared as axioms; 18 files
Files
- ApproximationImpliesP.lean 84 declarations
- ExtensionAgreementMachine.lean 45 declarations
- ExtensionCapacityBounds.lean 118 declarations
- ExtensionMachineSpace.lean 6 declarations
- ExtensionPairMachine.lean 39 declarations
- ExtensionShapeMachine.lean 66 declarations
- ExtensionValidationMachine.lean 77 declarations
- ExtensionVerifier.lean 41 declarations
- ExtensionVerifierMachine.lean 68 declarations
- ExtensionVerifierPipeline.lean 133 declarations
- SearchFinalizeMachine.lean 63 declarations
- SearchFixedReplaceMachine.lean 43 declarations
- SearchInitialItemsMachine.lean 120 declarations
- SearchInitialShapeMachine.lean 54 declarations
- SearchInitializeEncoding.lean 136 declarations
- SearchPrepareMachine.lean 80 declarations
- SearchStageMachines.lean 81 declarations
- SearchUpdateMachine.lean 100 declarations