export declare const buildAdjacency: (tests: ReadonlyArray<Set<string>>) => number[][];
export declare const tryKColoring: (adjacency: ReadonlyArray<ReadonlyArray<number>>, n: number, k: number, witness: ReadonlyArray<number>) => number[] | null;
export type SolveColoringInput = {
    adjacency: ReadonlyArray<ReadonlyArray<number>>;
    n: number;
    lowerBound: number;
    dsaturColors: number;
    witness: ReadonlyArray<number>;
    dsaturColoring: ReadonlyArray<number>;
};
export type SolveColoringResult = {
    coloring: ReadonlyArray<number>;
    lowerBound: number;
    optimal: boolean;
};
type ExactDecision = {
    useGroups: 'exact';
    suffix: string;
} | {
    useGroups: 'dsatur';
    suffix: string;
};
export declare const decideExactOutcome: (exact: SolveColoringResult, dsaturColors: number) => ExactDecision;
export declare const solveColoring: (input: SolveColoringInput) => SolveColoringResult;
export {};