import { SolverAlgorithm } from './SolverAlgorithm';
export declare class Solution {
    NumberOfUnsatisfiableConstraints: number;
    OuterProjectIterations: number;
    InnerProjectIterationsTotal: number;
    MinInnerProjectIterations: number;
    MaxInnerProjectIterations: number;
    MaxConstraintTreeDepth: number;
    GoalFunctionValue: number;
    AlgorithmUsed: SolverAlgorithm;
    TimeLimitExceeded: boolean;
    OuterProjectIterationsLimitExceeded: boolean;
    InnerProjectIterationsLimitExceeded: boolean;
    get ExecutionLimitExceeded(): boolean;
    Clone(): Solution;
}