export type { ClingoResult, ClingoError, OnModel } from "./run.js";
export type { Witness } from "./witnesses.js";
export { supportsThreads } from "./threads.js";
import { supportsThreads } from "./threads.js";
export declare const run: (program: string, models?: number | undefined, options?: string[] | undefined, onModel?: import("./run.js").OnModel | undefined) => Promise<ReturnType<import("./run.js").RunFunction>>, init: (wasmUrl?: string) => Promise<void>, restart: (wasmUrl?: string) => Promise<void>, stream: (program: string, models?: number, options?: string[]) => AsyncGenerator<import("./witnesses.js").Witness, import("./run.js").ClingoResult | import("./run.js").ClingoError>;
declare const _default: {
    run: (program: string, models?: number | undefined, options?: string[] | undefined, onModel?: import("./run.js").OnModel | undefined) => Promise<ReturnType<import("./run.js").RunFunction>>;
    init: (wasmUrl?: string) => Promise<void>;
    restart: (wasmUrl?: string) => Promise<void>;
    stream: (program: string, models?: number, options?: string[]) => AsyncGenerator<import("./witnesses.js").Witness, import("./run.js").ClingoResult | import("./run.js").ClingoError>;
    supportsThreads: typeof supportsThreads;
};
export default _default;