export declare function isAutomataAvailable(args: { executablePath?: string; dbPath?: string; }): boolean; //# sourceMappingURL=automata-provider.d.ts.map