import { ToolError } from './errors.js'; export interface ExecutionResult { json: string; exitCode: number; stderr: string; } export interface DependencyStatus { swiplInstalled: boolean; swiplVersion?: string; error?: ToolError; } /** * Checks all required dependencies. */ export declare function checkDependencies(): Promise; /** * Executes the custom tracer with the given wrapper file and captures the JSON output. */ export declare function executeTracer(wrapperPath: string, opts?: { cwd?: string; jsonPath?: string; }): Promise; /** * Legacy function for backward compatibility. * @deprecated Use executeTracer instead. */ export declare function executeSldnfdraw(wrapperPath: string): Promise; //# sourceMappingURL=executor.d.ts.map