export declare class UnsatError extends Error {
    constructor(message?: string);
}
export declare class InsufficientSequenceLengthError extends Error {
    constructor(message?: string);
}
export declare class SequenceNotFoundError extends Error {
    constructor(message?: string);
}
export declare class SymbolicStateEmptyError extends Error {
    constructor(message?: string);
}
export declare class UnexpectedRuntimeError extends Error {
    constructor(message?: string);
}