@cogitator-ai/neuro-symbolic 0.1.0

package/dist/constraints/z3-wasm-solver.js

@@ -0,0 +1,286 @@
+const DEFAULT_Z3_CONFIG = {
+    timeout: 10000,
+    solver: 'z3',
+    enableOptimization: true,
+    randomSeed: 42,
+    logLevel: 'off',
+};
+let z3Module = null;
+let z3LoadError = null;
+async function loadZ3() {
+    if (z3Module)
+        return z3Module;
+    if (z3LoadError)
+        throw z3LoadError;
+    try {
+        const z3 = await import('z3-solver');
+        z3Module = z3;
+        return z3Module;
+    }
+    catch {
+        z3LoadError = new Error('Z3 solver not available. Install z3-solver package: npm install z3-solver');
+        throw z3LoadError;
+    }
+}
+export async function isZ3Available() {
+    try {
+        await loadZ3();
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+export class Z3WASMSolver {
+    config;
+    ctx = null;
+    variables = new Map();
+    constructor(config = {}) {
+        this.config = { ...DEFAULT_Z3_CONFIG, ...config };
+    }
+    async initialize() {
+        const z3 = (await loadZ3());
+        const { Context } = await z3.init();
+        this.ctx = new Context('cogitator');
+    }
+    async ensureInitialized() {
+        if (!this.ctx) {
+            await this.initialize();
+        }
+    }
+    createVariable(variable) {
+        if (!this.ctx)
+            throw new Error('Z3 not initialized');
+        let z3Var;
+        switch (variable.type) {
+            case 'bool':
+                z3Var = this.ctx.Bool.const(variable.name);
+                break;
+            case 'int':
+                z3Var = this.ctx.Int.const(variable.name);
+                break;
+            case 'real':
+                z3Var = this.ctx.Real.const(variable.name);
+                break;
+            case 'bitvec':
+                z3Var = this.ctx.BitVec.const(variable.name, variable.bitWidth || 32);
+                break;
+            default:
+                throw new Error(`Unknown variable type: ${variable.type}`);
+        }
+        this.variables.set(variable.name, z3Var);
+        return z3Var;
+    }
+    translateExpression(expr) {
+        if (!this.ctx)
+            throw new Error('Z3 not initialized');
+        switch (expr.type) {
+            case 'variable': {
+                const z3Var = this.variables.get(expr.name);
+                if (!z3Var)
+                    throw new Error(`Unknown variable: ${expr.name}`);
+                return z3Var;
+            }
+            case 'constant': {
+                if (typeof expr.value === 'boolean') {
+                    return this.ctx.Bool.val(expr.value);
+                }
+                return this.ctx.Int.val(expr.value);
+            }
+            case 'operation': {
+                const operands = expr.operands.map((op) => this.translateExpression(op));
+                switch (expr.operator) {
+                    case 'not':
+                        return this.ctx.Not(operands[0]);
+                    case 'and':
+                        return this.ctx.And(...operands);
+                    case 'or':
+                        return this.ctx.Or(...operands);
+                    case 'implies':
+                        return this.ctx.Implies(operands[0], operands[1]);
+                    case 'iff':
+                        return this.ctx.And(this.ctx.Implies(operands[0], operands[1]), this.ctx.Implies(operands[1], operands[0]));
+                    case 'eq':
+                        return operands[0].eq(operands[1]);
+                    case 'neq':
+                        return operands[0].neq(operands[1]);
+                    case 'gt':
+                        return operands[0].gt(operands[1]);
+                    case 'gte':
+                        return operands[0].ge(operands[1]);
+                    case 'lt':
+                        return operands[0].lt(operands[1]);
+                    case 'lte':
+                        return operands[0].le(operands[1]);
+                    case 'add':
+                        return operands.reduce((a, b) => a.add(b));
+                    case 'sub':
+                        return operands[0].sub(operands[1]);
+                    case 'mul':
+                        return operands.reduce((a, b) => a.mul(b));
+                    case 'div':
+                        return operands[0].div(operands[1]);
+                    case 'mod':
+                        return operands[0].mod(operands[1]);
+                    case 'pow':
+                        return operands[0].pow(operands[1]);
+                    case 'ite':
+                        return this.ctx.If(operands[0], operands[1], operands[2]);
+                    case 'allDifferent':
+                        return this.ctx.Distinct(...operands);
+                    case 'atMost': {
+                        const k = expr.operands[0];
+                        if (k.type !== 'constant')
+                            throw new Error('atMost requires constant k');
+                        const boolVars = operands.slice(1);
+                        const sumExpr = boolVars.reduce((acc, v) => {
+                            const one = this.ctx.Int.val(1);
+                            const zero = this.ctx.Int.val(0);
+                            return acc.add(this.ctx.If(v, one, zero));
+                        }, this.ctx.Int.val(0));
+                        return sumExpr.le(k.value);
+                    }
+                    case 'atLeast': {
+                        const k = expr.operands[0];
+                        if (k.type !== 'constant')
+                            throw new Error('atLeast requires constant k');
+                        const boolVars = operands.slice(1);
+                        const sumExpr = boolVars.reduce((acc, v) => {
+                            const one = this.ctx.Int.val(1);
+                            const zero = this.ctx.Int.val(0);
+                            return acc.add(this.ctx.If(v, one, zero));
+                        }, this.ctx.Int.val(0));
+                        return sumExpr.ge(k.value);
+                    }
+                    case 'exactly': {
+                        const k = expr.operands[0];
+                        if (k.type !== 'constant')
+                            throw new Error('exactly requires constant k');
+                        const boolVars = operands.slice(1);
+                        const sumExpr = boolVars.reduce((acc, v) => {
+                            const one = this.ctx.Int.val(1);
+                            const zero = this.ctx.Int.val(0);
+                            return acc.add(this.ctx.If(v, one, zero));
+                        }, this.ctx.Int.val(0));
+                        return sumExpr.eq(k.value);
+                    }
+                    default:
+                        throw new Error(`Unsupported operator: ${expr.operator}`);
+                }
+            }
+        }
+    }
+    addDomainConstraints(solver, variables) {
+        if (!this.ctx)
+            return;
+        for (const variable of variables) {
+            const z3Var = this.variables.get(variable.name);
+            if (!z3Var || !variable.domain)
+                continue;
+            if (variable.domain.min !== undefined) {
+                solver.add(z3Var.ge(variable.domain.min));
+            }
+            if (variable.domain.max !== undefined) {
+                solver.add(z3Var.le(variable.domain.max));
+            }
+        }
+    }
+    async solve(problem) {
+        try {
+            await this.ensureInitialized();
+            if (!this.ctx) {
+                return { status: 'error', message: 'Failed to initialize Z3' };
+            }
+            this.variables.clear();
+            for (const variable of problem.variables) {
+                this.createVariable(variable);
+            }
+            let solver;
+            let isOptimizing = false;
+            if (problem.objective && this.config.enableOptimization) {
+                solver = new this.ctx.Optimize();
+                isOptimizing = true;
+            }
+            else {
+                solver = new this.ctx.Solver();
+            }
+            solver.setTimeout(this.config.timeout);
+            this.addDomainConstraints(solver, problem.variables);
+            for (const constraint of problem.constraints) {
+                if (!constraint.isHard)
+                    continue;
+                const z3Expr = this.translateExpression(constraint.expression);
+                solver.add(z3Expr);
+            }
+            if (isOptimizing && problem.objective) {
+                const objExpr = this.translateExpression(problem.objective.expression);
+                const optimizer = solver;
+                if (problem.objective.type === 'minimize') {
+                    optimizer.minimize(objExpr);
+                }
+                else {
+                    optimizer.maximize(objExpr);
+                }
+            }
+            const status = await solver.check();
+            if (status === 'sat') {
+                const model = solver.model();
+                const assignments = {};
+                for (const [name, z3Var] of this.variables) {
+                    const value = model.eval(z3Var, true);
+                    const rawValue = value.value();
+                    if (typeof rawValue === 'boolean') {
+                        assignments[name] = rawValue;
+                    }
+                    else if (typeof rawValue === 'number') {
+                        assignments[name] = rawValue;
+                    }
+                    else if (typeof rawValue === 'bigint') {
+                        assignments[name] = Number(rawValue);
+                    }
+                    else if (typeof rawValue === 'string') {
+                        if (rawValue === 'true') {
+                            assignments[name] = true;
+                        }
+                        else if (rawValue === 'false') {
+                            assignments[name] = false;
+                        }
+                        else {
+                            assignments[name] = parseFloat(rawValue);
+                        }
+                    }
+                }
+                const result = { assignments };
+                if (problem.objective) {
+                    const objExpr = this.translateExpression(problem.objective.expression);
+                    const objValue = model.eval(objExpr, true).value();
+                    if (typeof objValue === 'number') {
+                        result.objectiveValue = objValue;
+                    }
+                    else if (typeof objValue === 'bigint') {
+                        result.objectiveValue = Number(objValue);
+                    }
+                }
+                return { status: 'sat', model: result };
+            }
+            if (status === 'unsat') {
+                return { status: 'unsat' };
+            }
+            return { status: 'unknown', reason: 'Solver returned unknown' };
+        }
+        catch (error) {
+            return {
+                status: 'error',
+                message: error instanceof Error ? error.message : String(error),
+            };
+        }
+    }
+}
+export function createZ3Solver(config) {
+    return new Z3WASMSolver(config);
+}
+export async function solveWithZ3(problem, config) {
+    const solver = createZ3Solver(config);
+    return solver.solve(problem);
+}
+//# sourceMappingURL=z3-wasm-solver.js.map

package/dist/constraints/z3-wasm-solver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"z3-wasm-solver.js","sourceRoot":"","sources":["../../src/constraints/z3-wasm-solver.ts"],"names":[],"mappings":"AAaA,MAAM,iBAAiB,GAA6B;IAClD,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,IAAI;IACZ,kBAAkB,EAAE,IAAI;IACxB,UAAU,EAAE,EAAE;IACd,QAAQ,EAAE,KAAK;CAChB,CAAC;AAEF,IAAI,QAAQ,GAAY,IAAI,CAAC;AAC7B,IAAI,WAAW,GAAiB,IAAI,CAAC;AAErC,KAAK,UAAU,MAAM;IACnB,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,IAAI,WAAW;QAAE,MAAM,WAAW,CAAC;IAEnC,IAAI,CAAC;QACH,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,CAAC;QACrC,QAAQ,GAAG,EAAE,CAAC;QACd,OAAO,QAAQ,CAAC;IAClB,CAAC;IAAC,MAAM,CAAC;QACP,WAAW,GAAG,IAAI,KAAK,CACrB,2EAA2E,CAC5E,CAAC;QACF,MAAM,WAAW,CAAC;IACpB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa;IACjC,IAAI,CAAC;QACH,MAAM,MAAM,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAyED,MAAM,OAAO,YAAY;IACf,MAAM,CAA2B;IACjC,GAAG,GAA6B,IAAI,CAAC;IACrC,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE9C,YAAY,SAAkC,EAAE;QAC9C,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,iBAAiB,EAAE,GAAG,MAAM,EAAE,CAAC;IACpD,CAAC;IAED,KAAK,CAAC,UAAU;QACd,MAAM,EAAE,GAAG,CAAC,MAAM,MAAM,EAAE,CAAuC,CAAC;QAClE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC;QACpC,IAAI,CAAC,GAAG,GAAG,IAAI,OAAO,CAAC,WAAW,CAAC,CAAC;IACtC,CAAC;IAEO,KAAK,CAAC,iBAAiB;QAC7B,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;YACd,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QAC1B,CAAC;IACH,CAAC;IAEO,cAAc,CAAC,QAA4B;QACjD,IAAI,CAAC,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;QAErD,IAAI,KAAa,CAAC;QAElB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,MAAM;gBACT,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC3C,MAAM;YAER,KAAK,KAAK;gBACR,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC1C,MAAM;YAER,KAAK,MAAM;gBACT,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC3C,MAAM;YAER,KAAK,QAAQ;gBACX,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;gBACtE,MAAM;YAER;gBACE,MAAM,IAAI,KAAK,CAAC,0BAA0B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QAC/D,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,mBAAmB,CAAC,IAA0B;QACpD,IAAI,CAAC,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;QAErD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5C,IAAI,CAAC,KAAK;oBAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC9D,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;oBACpC,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACvC,CAAC;gBACD,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAe,CAAC,CAAC;YAChD,CAAC;YAED,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC,CAAC;gBAEzE,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACtB,KAAK,KAAK;wBACR,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;oBAEnC,KAAK,KAAK;wBACR,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;oBAEnC,KAAK,IAAI;wBACP,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC;oBAElC,KAAK,SAAS;wBACZ,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;oBAEpD,KAAK,KAAK;wBACR,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CACjB,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAC1C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC3C,CAAC;oBAEJ,KAAK,IAAI;wBACP,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;oBAErC,KAAK,KAAK;wBACR,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;oBAEtC,KAAK,IAAI;wBACP,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;oBAErC,KAAK,KAAK;wBACR,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;oBAErC,KAAK,IAAI;wBACP,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;oBAErC,KAAK,KAAK;wBACR,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;oBAErC,KAAK,KAAK;wBACR,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;oBAE7C,KAAK,KAAK;wBACR,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;oBAEtC,KAAK,KAAK;wBACR,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;oBAE7C,KAAK,KAAK;wBACR,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;oBAEtC,KAAK,KAAK;wBACR,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;oBAEtC,KAAK,KAAK;wBACR,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;oBAEtC,KAAK,KAAK;wBACR,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;oBAE5D,KAAK,cAAc;wBACjB,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,CAAC;oBAExC,KAAK,QAAQ,CAAC,CAAC,CAAC;wBACd,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;wBAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;4BAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;wBACzE,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;wBACnC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;4BACzC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;4BACjC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;4BAClC,OAAO,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAI,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;wBAC7C,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;wBACxB,OAAO,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,KAAe,CAAC,CAAC;oBACvC,CAAC;oBAED,KAAK,SAAS,CAAC,CAAC,CAAC;wBACf,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;wBAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;4BAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;wBAC1E,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;wBACnC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;4BACzC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;4BACjC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;4BAClC,OAAO,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAI,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;wBAC7C,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;wBACxB,OAAO,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,KAAe,CAAC,CAAC;oBACvC,CAAC;oBAED,KAAK,SAAS,CAAC,CAAC,CAAC;wBACf,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;wBAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;4BAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;wBAC1E,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;wBACnC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;4BACzC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;4BACjC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;4BAClC,OAAO,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAI,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;wBAC7C,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;wBACxB,OAAO,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,KAAe,CAAC,CAAC;oBACvC,CAAC;oBAED;wBACE,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAC9D,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAEO,oBAAoB,CAAC,MAAgB,EAAE,SAA+B;QAC5E,IAAI,CAAC,IAAI,CAAC,GAAG;YAAE,OAAO;QAEtB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM;gBAAE,SAAS;YAEzC,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,CAAC;YAED,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,OAA0B;QACpC,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAE/B,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;gBACd,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC;YACjE,CAAC;YAED,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;YAEvB,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;gBACzC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;YAChC,CAAC;YAED,IAAI,MAAgB,CAAC;YACrB,IAAI,YAAY,GAAG,KAAK,CAAC;YAEzB,IAAI,OAAO,CAAC,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;gBACxD,MAAM,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,YAAY,GAAG,IAAI,CAAC;YACtB,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;YACjC,CAAC;YAED,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAEvC,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;YAErD,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;gBAC7C,IAAI,CAAC,UAAU,CAAC,MAAM;oBAAE,SAAS;gBAEjC,MAAM,MAAM,GAAG,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;gBAC/D,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACrB,CAAC;YAED,IAAI,YAAY,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;gBACtC,MAAM,OAAO,GAAG,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;gBACvE,MAAM,SAAS,GAAG,MAAqB,CAAC;gBAExC,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC1C,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBAC9B,CAAC;qBAAM,CAAC;oBACN,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBAC9B,CAAC;YACH,CAAC;YAED,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;YAEpC,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBACrB,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;gBAC7B,MAAM,WAAW,GAAqC,EAAE,CAAC;gBAEzD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;oBAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;oBACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;oBAE/B,IAAI,OAAO,QAAQ,KAAK,SAAS,EAAE,CAAC;wBAClC,WAAW,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC;oBAC/B,CAAC;yBAAM,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;wBACxC,WAAW,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC;oBAC/B,CAAC;yBAAM,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;wBACxC,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;oBACvC,CAAC;yBAAM,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;wBACxC,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;4BACxB,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;wBAC3B,CAAC;6BAAM,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;4BAChC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;wBAC5B,CAAC;6BAAM,CAAC;4BACN,WAAW,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;wBAC3C,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,MAAM,MAAM,GAAoB,EAAE,WAAW,EAAE,CAAC;gBAEhD,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;oBACtB,MAAM,OAAO,GAAG,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;oBACvE,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;oBACnD,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;wBACjC,MAAM,CAAC,cAAc,GAAG,QAAQ,CAAC;oBACnC,CAAC;yBAAM,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;wBACxC,MAAM,CAAC,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;oBAC3C,CAAC;gBACH,CAAC;gBAED,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;YAC1C,CAAC;YAED,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;gBACvB,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;YAC7B,CAAC;YAED,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,yBAAyB,EAAE,CAAC;QAClE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO;gBACL,MAAM,EAAE,OAAO;gBACf,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;aAChE,CAAC;QACJ,CAAC;IACH,CAAC;CACF;AAED,MAAM,UAAU,cAAc,CAAC,MAAgC;IAC7D,OAAO,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,OAA0B,EAC1B,MAAgC;IAEhC,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACtC,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAC/B,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,6 @@
+export { NeuroSymbolic, createNeuroSymbolic, type NeuroSymbolicOptions } from './orchestrator';
+export * from './logic';
+export { executeQuery, GraphQueryBuilder, variable as graphVariable, parseQueryString, formatQueryResult, analyzeNLQuery, buildQueryFromAnalysis, executeNLQuery, createNLToGraphQueryPrompt, parseNLQueryResponse, suggestQuestions, generateClarifications, ReasoningEngine, createReasoningEngine, findPath, multiHopQuery, inferTransitiveRelations, inferInverseRelations, inferComposedRelations, runFullInference, createGraphContextPrompt, createQueryExplanationPrompt, createPathExplanationPrompt, createEntityExtractionPrompt, createReasoningExplanationPrompt, createGraphSummaryPrompt, parseEntityExtractionResponse, formatNodeForPrompt, formatEdgeForPrompt, formatPathForPrompt, type QueryExecutionContext, type ParsedPattern, type NLQueryContext, type NLQueryAnalysis, type NLQueryPromptContext, type QueryClarification, type ReasoningConfig, type ReasoningContext, type ReasoningResult, type ReasoningStep, type CompositionRule, type GraphContextForPrompt, type QueryToNLContext, type PathExplanationContext, type EntityExtractionContext, type ReasoningExplanationContext, type GraphSummaryContext, } from './knowledge-graph';
+export { Expr, ConstraintBuilder, variable as constraintVariable, constant, and, or, not, implies, iff, ite, sum, product, allDifferent, atMost, atLeast, exactly, expressionToString, constraintToString, problemToString, SimpleSATSolver, createSimpleSATSolver, solveSAT, Z3WASMSolver, createZ3Solver, solveWithZ3, isZ3Available, createNLToConstraintsPrompt, createConstraintExplanationPrompt, createUnsatAnalysisPrompt, createConstraintSuggestionPrompt, parseNLConstraintsResponse, formatSolverResultForLLM, formatProblemSummary, solve, type SimpleSATConfig, type Z3SolverConfig, type NLToConstraintsContext, type ConstraintExplanationContext, type UnsatAnalysisContext, type ConstraintSuggestionContext, type ParseNLConstraintsResult, } from './constraints';
+export * from './planning';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,KAAK,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE/F,cAAc,SAAS,CAAC;AAExB,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,QAAQ,IAAI,aAAa,EACzB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,sBAAsB,EACtB,cAAc,EACd,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,EACf,qBAAqB,EACrB,QAAQ,EACR,aAAa,EACb,wBAAwB,EACxB,qBAAqB,EACrB,sBAAsB,EACtB,gBAAgB,EAChB,wBAAwB,EACxB,4BAA4B,EAC5B,2BAA2B,EAC3B,4BAA4B,EAC5B,gCAAgC,EAChC,wBAAwB,EACxB,6BAA6B,EAC7B,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,oBAAoB,EACzB,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,qBAAqB,EAC1B,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAC3B,KAAK,uBAAuB,EAC5B,KAAK,2BAA2B,EAChC,KAAK,mBAAmB,GACzB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EACL,IAAI,EACJ,iBAAiB,EACjB,QAAQ,IAAI,kBAAkB,EAC9B,QAAQ,EACR,GAAG,EACH,EAAE,EACF,GAAG,EACH,OAAO,EACP,GAAG,EACH,GAAG,EACH,GAAG,EACH,OAAO,EACP,YAAY,EACZ,MAAM,EACN,OAAO,EACP,OAAO,EACP,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,qBAAqB,EACrB,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,iCAAiC,EACjC,yBAAyB,EACzB,gCAAgC,EAChC,0BAA0B,EAC1B,wBAAwB,EACxB,oBAAoB,EACpB,KAAK,EACL,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,sBAAsB,EAC3B,KAAK,4BAA4B,EACjC,KAAK,oBAAoB,EACzB,KAAK,2BAA2B,EAChC,KAAK,wBAAwB,GAC9B,MAAM,eAAe,CAAC;AAEvB,cAAc,YAAY,CAAC"}

package/dist/index.js

@@ -0,0 +1,6 @@
+export { NeuroSymbolic, createNeuroSymbolic } from './orchestrator';
+export * from './logic';
+export { executeQuery, GraphQueryBuilder, variable as graphVariable, parseQueryString, formatQueryResult, analyzeNLQuery, buildQueryFromAnalysis, executeNLQuery, createNLToGraphQueryPrompt, parseNLQueryResponse, suggestQuestions, generateClarifications, ReasoningEngine, createReasoningEngine, findPath, multiHopQuery, inferTransitiveRelations, inferInverseRelations, inferComposedRelations, runFullInference, createGraphContextPrompt, createQueryExplanationPrompt, createPathExplanationPrompt, createEntityExtractionPrompt, createReasoningExplanationPrompt, createGraphSummaryPrompt, parseEntityExtractionResponse, formatNodeForPrompt, formatEdgeForPrompt, formatPathForPrompt, } from './knowledge-graph';
+export { Expr, ConstraintBuilder, variable as constraintVariable, constant, and, or, not, implies, iff, ite, sum, product, allDifferent, atMost, atLeast, exactly, expressionToString, constraintToString, problemToString, SimpleSATSolver, createSimpleSATSolver, solveSAT, Z3WASMSolver, createZ3Solver, solveWithZ3, isZ3Available, createNLToConstraintsPrompt, createConstraintExplanationPrompt, createUnsatAnalysisPrompt, createConstraintSuggestionPrompt, parseNLConstraintsResponse, formatSolverResultForLLM, formatProblemSummary, solve, } from './constraints';
+export * from './planning';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAA6B,MAAM,gBAAgB,CAAC;AAE/F,cAAc,SAAS,CAAC;AAExB,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,QAAQ,IAAI,aAAa,EACzB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,sBAAsB,EACtB,cAAc,EACd,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,EACf,qBAAqB,EACrB,QAAQ,EACR,aAAa,EACb,wBAAwB,EACxB,qBAAqB,EACrB,sBAAsB,EACtB,gBAAgB,EAChB,wBAAwB,EACxB,4BAA4B,EAC5B,2BAA2B,EAC3B,4BAA4B,EAC5B,gCAAgC,EAChC,wBAAwB,EACxB,6BAA6B,EAC7B,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,GAkBpB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EACL,IAAI,EACJ,iBAAiB,EACjB,QAAQ,IAAI,kBAAkB,EAC9B,QAAQ,EACR,GAAG,EACH,EAAE,EACF,GAAG,EACH,OAAO,EACP,GAAG,EACH,GAAG,EACH,GAAG,EACH,OAAO,EACP,YAAY,EACZ,MAAM,EACN,OAAO,EACP,OAAO,EACP,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,qBAAqB,EACrB,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,iCAAiC,EACjC,yBAAyB,EACzB,gCAAgC,EAChC,0BAA0B,EAC1B,wBAAwB,EACxB,oBAAoB,EACpB,KAAK,GAQN,MAAM,eAAe,CAAC;AAEvB,cAAc,YAAY,CAAC"}

package/dist/knowledge-graph/index.d.ts

@@ -0,0 +1,5 @@
+export { executeQuery, GraphQueryBuilder, variable, parseQueryString, formatQueryResult, type QueryExecutionContext, type ParsedPattern, } from './query-language';
+export { analyzeNLQuery, buildQueryFromAnalysis, executeNLQuery, createNLToGraphQueryPrompt, parseNLQueryResponse, suggestQuestions, generateClarifications, type NLQueryContext, type NLQueryAnalysis, type NLQueryPromptContext, type QueryClarification, } from './natural-language-query';
+export { ReasoningEngine, createReasoningEngine, findPath, multiHopQuery, inferTransitiveRelations, inferInverseRelations, inferComposedRelations, runFullInference, type ReasoningConfig, type ReasoningContext, type ReasoningResult, type ReasoningStep, type CompositionRule, } from './reasoning-engine';
+export { createGraphContextPrompt, createQueryExplanationPrompt, createPathExplanationPrompt, createEntityExtractionPrompt, createReasoningExplanationPrompt, createGraphSummaryPrompt, parseEntityExtractionResponse, formatNodeForPrompt, formatEdgeForPrompt, formatPathForPrompt, type GraphContextForPrompt, type QueryToNLContext, type PathExplanationContext, type EntityExtractionContext, type ReasoningExplanationContext, type GraphSummaryContext, } from './prompts';
+//# sourceMappingURL=index.d.ts.map

package/dist/knowledge-graph/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/knowledge-graph/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,QAAQ,EACR,gBAAgB,EAChB,iBAAiB,EACjB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,GACnB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,cAAc,EACd,sBAAsB,EACtB,cAAc,EACd,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,EAChB,sBAAsB,EACtB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,oBAAoB,EACzB,KAAK,kBAAkB,GACxB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,QAAQ,EACR,aAAa,EACb,wBAAwB,EACxB,qBAAqB,EACrB,sBAAsB,EACtB,gBAAgB,EAChB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,eAAe,GACrB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,wBAAwB,EACxB,4BAA4B,EAC5B,2BAA2B,EAC3B,4BAA4B,EAC5B,gCAAgC,EAChC,wBAAwB,EACxB,6BAA6B,EAC7B,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,KAAK,qBAAqB,EAC1B,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAC3B,KAAK,uBAAuB,EAC5B,KAAK,2BAA2B,EAChC,KAAK,mBAAmB,GACzB,MAAM,WAAW,CAAC"}

package/dist/knowledge-graph/index.js

@@ -0,0 +1,5 @@
+export { executeQuery, GraphQueryBuilder, variable, parseQueryString, formatQueryResult, } from './query-language';
+export { analyzeNLQuery, buildQueryFromAnalysis, executeNLQuery, createNLToGraphQueryPrompt, parseNLQueryResponse, suggestQuestions, generateClarifications, } from './natural-language-query';
+export { ReasoningEngine, createReasoningEngine, findPath, multiHopQuery, inferTransitiveRelations, inferInverseRelations, inferComposedRelations, runFullInference, } from './reasoning-engine';
+export { createGraphContextPrompt, createQueryExplanationPrompt, createPathExplanationPrompt, createEntityExtractionPrompt, createReasoningExplanationPrompt, createGraphSummaryPrompt, parseEntityExtractionResponse, formatNodeForPrompt, formatEdgeForPrompt, formatPathForPrompt, } from './prompts';
+//# sourceMappingURL=index.js.map

package/dist/knowledge-graph/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/knowledge-graph/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,QAAQ,EACR,gBAAgB,EAChB,iBAAiB,GAGlB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,cAAc,EACd,sBAAsB,EACtB,cAAc,EACd,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,EAChB,sBAAsB,GAKvB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,QAAQ,EACR,aAAa,EACb,wBAAwB,EACxB,qBAAqB,EACrB,sBAAsB,EACtB,gBAAgB,GAMjB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,wBAAwB,EACxB,4BAA4B,EAC5B,2BAA2B,EAC3B,4BAA4B,EAC5B,gCAAgC,EAChC,wBAAwB,EACxB,6BAA6B,EAC7B,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,GAOpB,MAAM,WAAW,CAAC"}

package/dist/knowledge-graph/natural-language-query.d.ts

@@ -0,0 +1,42 @@
+import type { GraphQuery, NaturalLanguageQueryResult, GraphAdapter, GraphNode, GraphEdge, EntityType, RelationType } from '@cogitator-ai/types';
+export interface NLQueryContext {
+    adapter: GraphAdapter;
+    agentId: string;
+    entityTypes?: EntityType[];
+    relationTypes?: RelationType[];
+    examples?: {
+        question: string;
+        query: GraphQuery;
+    }[];
+}
+export interface NLQueryAnalysis {
+    intent: 'find' | 'check' | 'count' | 'describe' | 'compare';
+    entities: string[];
+    relations: string[];
+    constraints: {
+        field: string;
+        operator: string;
+        value: string;
+    }[];
+    variables: string[];
+}
+export declare function analyzeNLQuery(question: string): NLQueryAnalysis;
+export declare function buildQueryFromAnalysis(analysis: NLQueryAnalysis): GraphQuery;
+export interface NLQueryPromptContext {
+    question: string;
+    availableEntityTypes: EntityType[];
+    availableRelationTypes: RelationType[];
+    sampleEntities?: string[];
+    sampleRelations?: string[];
+}
+export declare function createNLToGraphQueryPrompt(ctx: NLQueryPromptContext): string;
+export declare function parseNLQueryResponse(response: string): GraphQuery | null;
+export declare function executeNLQuery(question: string, ctx: NLQueryContext): Promise<NaturalLanguageQueryResult>;
+export declare function suggestQuestions(nodes: GraphNode[], edges: GraphEdge[]): string[];
+export interface QueryClarification {
+    type: 'ambiguous_entity' | 'missing_relation' | 'unclear_intent';
+    message: string;
+    options?: string[];
+}
+export declare function generateClarifications(_question: string, analysis: NLQueryAnalysis, availableEntities: string[], availableRelations: string[]): QueryClarification[];
+//# sourceMappingURL=natural-language-query.d.ts.map

package/dist/knowledge-graph/natural-language-query.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"natural-language-query.d.ts","sourceRoot":"","sources":["../../src/knowledge-graph/natural-language-query.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,EAEV,0BAA0B,EAC1B,YAAY,EACZ,SAAS,EACT,SAAS,EACT,UAAU,EACV,YAAY,EACb,MAAM,qBAAqB,CAAC;AAG7B,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,YAAY,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC;IAC3B,aAAa,CAAC,EAAE,YAAY,EAAE,CAAC;IAC/B,QAAQ,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,UAAU,CAAA;KAAE,EAAE,CAAC;CACtD;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,OAAO,GAAG,UAAU,GAAG,SAAS,CAAC;IAC5D,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,WAAW,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAClE,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,eAAe,CAoFhE;AAED,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,eAAe,GAAG,UAAU,CAwB5E;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,oBAAoB,EAAE,UAAU,EAAE,CAAC;IACnC,sBAAsB,EAAE,YAAY,EAAE,CAAC;IACvC,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,wBAAgB,0BAA0B,CAAC,GAAG,EAAE,oBAAoB,GAAG,MAAM,CA+B5E;AAED,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CAwCxE;AAED,wBAAsB,cAAc,CAClC,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,cAAc,GAClB,OAAO,CAAC,0BAA0B,CAAC,CAoBrC;AAoED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,MAAM,EAAE,CAqBjF;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,kBAAkB,GAAG,kBAAkB,GAAG,gBAAgB,CAAC;IACjE,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wBAAgB,sBAAsB,CACpC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,eAAe,EACzB,iBAAiB,EAAE,MAAM,EAAE,EAC3B,kBAAkB,EAAE,MAAM,EAAE,GAC3B,kBAAkB,EAAE,CAoBtB"}