/**
 * @file src/tableau/cutting-strategies.ts
 * @description Cutting plane strategies for MIP solving
 *
 * Implements various cutting plane methods to tighten LP relaxations:
 * - Gomory mixed-integer cuts from the simplex tableau
 * - Bound cuts for variable branching
 *
 * These cuts are dynamically added to the tableau during branch-and-cut
 * to eliminate fractional solutions without cutting off integer solutions.
 */
import type Tableau from "./tableau";
import type { BranchCut } from "./types";
export declare function addCutConstraints(this: Tableau, cutConstraints: BranchCut[]): void;
export declare function addLowerBoundMIRCut(this: Tableau, rowIndex: number): boolean;
export declare function addUpperBoundMIRCut(this: Tableau, rowIndex: number): boolean;
export declare function applyMIRCuts(this: Tableau): void;