@cogitator-ai/neuro-symbolic 0.1.0

package/dist/constraints/dsl.js

@@ -0,0 +1,419 @@
+import { nanoid } from 'nanoid';
+export class Expr {
+    expression;
+    constructor(expression) {
+        this.expression = expression;
+    }
+    static variable(name) {
+        return new Expr({ type: 'variable', name });
+    }
+    static constant(value) {
+        return new Expr({ type: 'constant', value });
+    }
+    binaryOp(other, operator) {
+        const otherExpr = other instanceof Expr ? other.expression : { type: 'constant', value: other };
+        return new Expr({
+            type: 'operation',
+            operator,
+            operands: [this.expression, otherExpr],
+        });
+    }
+    unaryOp(operator) {
+        return new Expr({
+            type: 'operation',
+            operator,
+            operands: [this.expression],
+        });
+    }
+    add(other) {
+        return this.binaryOp(other, 'add');
+    }
+    sub(other) {
+        return this.binaryOp(other, 'sub');
+    }
+    mul(other) {
+        return this.binaryOp(other, 'mul');
+    }
+    div(other) {
+        return this.binaryOp(other, 'div');
+    }
+    mod(other) {
+        return this.binaryOp(other, 'mod');
+    }
+    pow(other) {
+        return this.binaryOp(other, 'pow');
+    }
+    abs() {
+        return this.unaryOp('abs');
+    }
+    eq(other) {
+        return this.binaryOp(other, 'eq');
+    }
+    neq(other) {
+        return this.binaryOp(other, 'neq');
+    }
+    gt(other) {
+        return this.binaryOp(other, 'gt');
+    }
+    gte(other) {
+        return this.binaryOp(other, 'gte');
+    }
+    lt(other) {
+        return this.binaryOp(other, 'lt');
+    }
+    lte(other) {
+        return this.binaryOp(other, 'lte');
+    }
+    and(other) {
+        return this.binaryOp(other, 'and');
+    }
+    or(other) {
+        return this.binaryOp(other, 'or');
+    }
+    not() {
+        return this.unaryOp('not');
+    }
+    implies(other) {
+        return this.binaryOp(other, 'implies');
+    }
+    iff(other) {
+        return this.binaryOp(other, 'iff');
+    }
+    min(other) {
+        return this.binaryOp(other, 'min');
+    }
+    max(other) {
+        return this.binaryOp(other, 'max');
+    }
+}
+export function variable(name) {
+    return Expr.variable(name);
+}
+export function constant(value) {
+    return Expr.constant(value);
+}
+export function and(...exprs) {
+    if (exprs.length === 0) {
+        return constant(true);
+    }
+    if (exprs.length === 1) {
+        return exprs[0] instanceof Expr ? exprs[0] : constant(exprs[0]);
+    }
+    const operands = exprs.map((e) => e instanceof Expr ? e.expression : { type: 'constant', value: e });
+    return new Expr({
+        type: 'operation',
+        operator: 'and',
+        operands,
+    });
+}
+export function or(...exprs) {
+    if (exprs.length === 0) {
+        return constant(false);
+    }
+    if (exprs.length === 1) {
+        return exprs[0] instanceof Expr ? exprs[0] : constant(exprs[0]);
+    }
+    const operands = exprs.map((e) => e instanceof Expr ? e.expression : { type: 'constant', value: e });
+    return new Expr({
+        type: 'operation',
+        operator: 'or',
+        operands,
+    });
+}
+export function not(expr) {
+    if (typeof expr === 'boolean') {
+        return constant(!expr);
+    }
+    return expr.not();
+}
+export function implies(a, b) {
+    const aExpr = a instanceof Expr ? a : constant(a);
+    return aExpr.implies(b);
+}
+export function iff(a, b) {
+    const aExpr = a instanceof Expr ? a : constant(a);
+    return aExpr.iff(b);
+}
+export function ite(condition, thenExpr, elseExpr) {
+    const thenE = thenExpr instanceof Expr ? thenExpr.expression : { type: 'constant', value: thenExpr };
+    const elseE = elseExpr instanceof Expr ? elseExpr.expression : { type: 'constant', value: elseExpr };
+    return new Expr({
+        type: 'operation',
+        operator: 'ite',
+        operands: [condition.expression, thenE, elseE],
+    });
+}
+export function sum(...exprs) {
+    if (exprs.length === 0) {
+        return constant(0);
+    }
+    let result = exprs[0] instanceof Expr ? exprs[0] : constant(exprs[0]);
+    for (let i = 1; i < exprs.length; i++) {
+        result = result.add(exprs[i]);
+    }
+    return result;
+}
+export function product(...exprs) {
+    if (exprs.length === 0) {
+        return constant(1);
+    }
+    let result = exprs[0] instanceof Expr ? exprs[0] : constant(exprs[0]);
+    for (let i = 1; i < exprs.length; i++) {
+        result = result.mul(exprs[i]);
+    }
+    return result;
+}
+export function allDifferent(...exprs) {
+    const operands = exprs.map((e) => e.expression);
+    return new Expr({
+        type: 'operation',
+        operator: 'allDifferent',
+        operands,
+    });
+}
+export function atMost(k, ...exprs) {
+    const operands = [
+        { type: 'constant', value: k },
+        ...exprs.map((e) => e.expression),
+    ];
+    return new Expr({
+        type: 'operation',
+        operator: 'atMost',
+        operands,
+    });
+}
+export function atLeast(k, ...exprs) {
+    const operands = [
+        { type: 'constant', value: k },
+        ...exprs.map((e) => e.expression),
+    ];
+    return new Expr({
+        type: 'operation',
+        operator: 'atLeast',
+        operands,
+    });
+}
+export function exactly(k, ...exprs) {
+    const operands = [
+        { type: 'constant', value: k },
+        ...exprs.map((e) => e.expression),
+    ];
+    return new Expr({
+        type: 'operation',
+        operator: 'exactly',
+        operands,
+    });
+}
+export class ConstraintBuilder {
+    variables = [];
+    constraints = [];
+    objective;
+    problemName;
+    constructor(name) {
+        this.problemName = name;
+    }
+    static create(name) {
+        return new ConstraintBuilder(name);
+    }
+    bool(name) {
+        this.variables.push({ name, type: 'bool' });
+        return variable(name);
+    }
+    int(name, min, max) {
+        this.variables.push({
+            name,
+            type: 'int',
+            domain: min !== undefined || max !== undefined ? { min, max } : undefined,
+        });
+        return variable(name);
+    }
+    real(name, min, max) {
+        this.variables.push({
+            name,
+            type: 'real',
+            domain: min !== undefined || max !== undefined ? { min, max } : undefined,
+        });
+        return variable(name);
+    }
+    bitvec(name, bitWidth) {
+        this.variables.push({ name, type: 'bitvec', bitWidth });
+        return variable(name);
+    }
+    boolArray(prefix, count) {
+        const vars = [];
+        for (let i = 0; i < count; i++) {
+            vars.push(this.bool(`${prefix}_${i}`));
+        }
+        return vars;
+    }
+    intArray(prefix, count, min, max) {
+        const vars = [];
+        for (let i = 0; i < count; i++) {
+            vars.push(this.int(`${prefix}_${i}`, min, max));
+        }
+        return vars;
+    }
+    assert(expr, name) {
+        this.constraints.push({
+            id: nanoid(8),
+            name,
+            expression: expr.expression,
+            isHard: true,
+        });
+        return this;
+    }
+    soft(expr, weight = 1, name) {
+        this.constraints.push({
+            id: nanoid(8),
+            name,
+            expression: expr.expression,
+            weight,
+            isHard: false,
+        });
+        return this;
+    }
+    minimize(expr) {
+        this.objective = {
+            type: 'minimize',
+            expression: expr.expression,
+        };
+        return this;
+    }
+    maximize(expr) {
+        this.objective = {
+            type: 'maximize',
+            expression: expr.expression,
+        };
+        return this;
+    }
+    build() {
+        return {
+            id: nanoid(8),
+            name: this.problemName,
+            variables: [...this.variables],
+            constraints: [...this.constraints],
+            objective: this.objective,
+        };
+    }
+    clear() {
+        this.variables = [];
+        this.constraints = [];
+        this.objective = undefined;
+        return this;
+    }
+    clone() {
+        const builder = new ConstraintBuilder(this.problemName);
+        builder.variables = [...this.variables];
+        builder.constraints = [...this.constraints];
+        builder.objective = this.objective ? { ...this.objective } : undefined;
+        return builder;
+    }
+}
+export function expressionToString(expr) {
+    switch (expr.type) {
+        case 'variable':
+            return expr.name;
+        case 'constant':
+            return String(expr.value);
+        case 'operation': {
+            const op = expr.operator;
+            const operands = expr.operands.map(expressionToString);
+            switch (op) {
+                case 'not':
+                    return `¬${operands[0]}`;
+                case 'abs':
+                    return `|${operands[0]}|`;
+                case 'and':
+                    return `(${operands.join(' ∧ ')})`;
+                case 'or':
+                    return `(${operands.join(' ∨ ')})`;
+                case 'add':
+                    return `(${operands.join(' + ')})`;
+                case 'sub':
+                    return `(${operands[0]} - ${operands[1]})`;
+                case 'mul':
+                    return `(${operands.join(' × ')})`;
+                case 'div':
+                    return `(${operands[0]} ÷ ${operands[1]})`;
+                case 'mod':
+                    return `(${operands[0]} mod ${operands[1]})`;
+                case 'pow':
+                    return `(${operands[0]} ^ ${operands[1]})`;
+                case 'eq':
+                    return `(${operands[0]} = ${operands[1]})`;
+                case 'neq':
+                    return `(${operands[0]} ≠ ${operands[1]})`;
+                case 'gt':
+                    return `(${operands[0]} > ${operands[1]})`;
+                case 'gte':
+                    return `(${operands[0]} ≥ ${operands[1]})`;
+                case 'lt':
+                    return `(${operands[0]} < ${operands[1]})`;
+                case 'lte':
+                    return `(${operands[0]} ≤ ${operands[1]})`;
+                case 'implies':
+                    return `(${operands[0]} → ${operands[1]})`;
+                case 'iff':
+                    return `(${operands[0]} ↔ ${operands[1]})`;
+                case 'ite':
+                    return `if ${operands[0]} then ${operands[1]} else ${operands[2]}`;
+                case 'allDifferent':
+                    return `allDifferent(${operands.join(', ')})`;
+                case 'atMost':
+                    return `atMost(${operands[0]}, ${operands.slice(1).join(', ')})`;
+                case 'atLeast':
+                    return `atLeast(${operands[0]}, ${operands.slice(1).join(', ')})`;
+                case 'exactly':
+                    return `exactly(${operands[0]}, ${operands.slice(1).join(', ')})`;
+                case 'min':
+                    return `min(${operands.join(', ')})`;
+                case 'max':
+                    return `max(${operands.join(', ')})`;
+                default:
+                    return `${op}(${operands.join(', ')})`;
+            }
+        }
+    }
+}
+export function constraintToString(constraint) {
+    const expr = expressionToString(constraint.expression);
+    const parts = [];
+    if (constraint.name) {
+        parts.push(`[${constraint.name}]`);
+    }
+    parts.push(expr);
+    if (!constraint.isHard && constraint.weight !== undefined) {
+        parts.push(`(weight: ${constraint.weight})`);
+    }
+    return parts.join(' ');
+}
+export function problemToString(problem) {
+    const lines = [];
+    if (problem.name) {
+        lines.push(`Problem: ${problem.name}`);
+    }
+    lines.push('');
+    lines.push('Variables:');
+    for (const v of problem.variables) {
+        let desc = `  ${v.name}: ${v.type}`;
+        if (v.domain) {
+            desc += ` [${v.domain.min ?? '-∞'}, ${v.domain.max ?? '∞'}]`;
+        }
+        if (v.bitWidth) {
+            desc += ` (${v.bitWidth} bits)`;
+        }
+        lines.push(desc);
+    }
+    lines.push('');
+    lines.push('Constraints:');
+    for (const c of problem.constraints) {
+        const prefix = c.isHard ? '  HARD: ' : '  SOFT: ';
+        lines.push(prefix + constraintToString(c));
+    }
+    if (problem.objective) {
+        lines.push('');
+        lines.push(`Objective: ${problem.objective.type} ${expressionToString(problem.objective.expression)}`);
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=dsl.js.map

package/dist/constraints/dsl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dsl.js","sourceRoot":"","sources":["../../src/constraints/dsl.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,MAAM,OAAO,IAAI;IACa;IAA5B,YAA4B,UAAgC;QAAhC,eAAU,GAAV,UAAU,CAAsB;IAAG,CAAC;IAEhE,MAAM,CAAC,QAAQ,CAAC,IAAY;QAC1B,OAAO,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,KAAuB;QACrC,OAAO,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/C,CAAC;IAEO,QAAQ,CAAC,KAA8B,EAAE,QAA4B;QAC3E,MAAM,SAAS,GACb,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAEzF,OAAO,IAAI,IAAI,CAAC;YACd,IAAI,EAAE,WAAW;YACjB,QAAQ;YACR,QAAQ,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC;SACvC,CAAC,CAAC;IACL,CAAC;IAEO,OAAO,CAAC,QAA4B;QAC1C,OAAO,IAAI,IAAI,CAAC;YACd,IAAI,EAAE,WAAW;YACjB,QAAQ;YACR,QAAQ,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC;SAC5B,CAAC,CAAC;IACL,CAAC;IAED,GAAG,CAAC,KAAoB;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,GAAG,CAAC,KAAoB;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,GAAG,CAAC,KAAoB;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,GAAG,CAAC,KAAoB;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,GAAG,CAAC,KAAoB;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,GAAG,CAAC,KAAoB;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,GAAG;QACD,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAED,EAAE,CAAC,KAA8B;QAC/B,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,GAAG,CAAC,KAA8B;QAChC,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,EAAE,CAAC,KAAoB;QACrB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,GAAG,CAAC,KAAoB;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,EAAE,CAAC,KAAoB;QACrB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,GAAG,CAAC,KAAoB;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,GAAG,CAAC,KAAqB;QACvB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,EAAE,CAAC,KAAqB;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,GAAG;QACD,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO,CAAC,KAAqB;QAC3B,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACzC,CAAC;IAED,GAAG,CAAC,KAAqB;QACvB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,GAAG,CAAC,KAAoB;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,GAAG,CAAC,KAAoB;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;CACF;AAED,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAuB;IAC9C,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,GAAG,KAAyB;IAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,QAAQ,GAA2B,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACvD,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,CAAC,EAAE,CAC3E,CAAC;IAEF,OAAO,IAAI,IAAI,CAAC;QACd,IAAI,EAAE,WAAW;QACjB,QAAQ,EAAE,KAAK;QACf,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,EAAE,CAAC,GAAG,KAAyB;IAC7C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,QAAQ,GAA2B,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACvD,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,CAAC,EAAE,CAC3E,CAAC;IAEF,OAAO,IAAI,IAAI,CAAC;QACd,IAAI,EAAE,WAAW;QACjB,QAAQ,EAAE,IAAI;QACd,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,IAAoB;IACtC,IAAI,OAAO,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,CAAiB,EAAE,CAAiB;IAC1D,MAAM,KAAK,GAAG,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,CAAiB,EAAE,CAAiB;IACtD,MAAM,KAAK,GAAG,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,SAAe,EAAE,QAAuB,EAAE,QAAuB;IACnF,MAAM,KAAK,GACT,QAAQ,YAAY,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClG,MAAM,KAAK,GACT,QAAQ,YAAY,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAElG,OAAO,IAAI,IAAI,CAAC;QACd,IAAI,EAAE,WAAW;QACjB,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC;KAC/C,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,GAAG,KAAwB;IAC7C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IAED,IAAI,MAAM,GAAS,KAAK,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,GAAG,KAAwB;IACjD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IAED,IAAI,MAAM,GAAS,KAAK,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,GAAG,KAAa;IAC3C,MAAM,QAAQ,GAA2B,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAExE,OAAO,IAAI,IAAI,CAAC;QACd,IAAI,EAAE,WAAW;QACjB,QAAQ,EAAE,cAAc;QACxB,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,CAAS,EAAE,GAAG,KAAa;IAChD,MAAM,QAAQ,GAA2B;QACvC,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,CAAC,EAAE;QACvC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;KAClC,CAAC;IAEF,OAAO,IAAI,IAAI,CAAC;QACd,IAAI,EAAE,WAAW;QACjB,QAAQ,EAAE,QAAQ;QAClB,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,CAAS,EAAE,GAAG,KAAa;IACjD,MAAM,QAAQ,GAA2B;QACvC,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,CAAC,EAAE;QACvC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;KAClC,CAAC;IAEF,OAAO,IAAI,IAAI,CAAC;QACd,IAAI,EAAE,WAAW;QACjB,QAAQ,EAAE,SAAS;QACnB,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,CAAS,EAAE,GAAG,KAAa;IACjD,MAAM,QAAQ,GAA2B;QACvC,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,CAAC,EAAE;QACvC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;KAClC,CAAC;IAEF,OAAO,IAAI,IAAI,CAAC;QACd,IAAI,EAAE,WAAW;QACjB,QAAQ,EAAE,SAAS;QACnB,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED,MAAM,OAAO,iBAAiB;IACpB,SAAS,GAAyB,EAAE,CAAC;IACrC,WAAW,GAAiB,EAAE,CAAC;IAC/B,SAAS,CAGf;IACM,WAAW,CAAU;IAE7B,YAAY,IAAa;QACvB,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,IAAa;QACzB,OAAO,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,CAAC,IAAY;QACf,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAC5C,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED,GAAG,CAAC,IAAY,EAAE,GAAY,EAAE,GAAY;QAC1C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YAClB,IAAI;YACJ,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS;SAC1E,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED,IAAI,CAAC,IAAY,EAAE,GAAY,EAAE,GAAY;QAC3C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YAClB,IAAI;YACJ,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS;SAC1E,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED,MAAM,CAAC,IAAY,EAAE,QAAgB;QACnC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;QACxD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED,SAAS,CAAC,MAAc,EAAE,KAAa;QACrC,MAAM,IAAI,GAAW,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ,CAAC,MAAc,EAAE,KAAa,EAAE,GAAY,EAAE,GAAY;QAChE,MAAM,IAAI,GAAW,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAClD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,IAAU,EAAE,IAAa;QAC9B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;YACpB,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;YACb,IAAI;YACJ,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,MAAM,EAAE,IAAI;SACb,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,IAAU,EAAE,SAAiB,CAAC,EAAE,IAAa;QAChD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;YACpB,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;YACb,IAAI;YACJ,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,MAAM;YACN,MAAM,EAAE,KAAK;SACd,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ,CAAC,IAAU;QACjB,IAAI,CAAC,SAAS,GAAG;YACf,IAAI,EAAE,UAAU;YAChB,UAAU,EAAE,IAAI,CAAC,UAAU;SAC5B,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ,CAAC,IAAU;QACjB,IAAI,CAAC,SAAS,GAAG;YACf,IAAI,EAAE,UAAU;YAChB,UAAU,EAAE,IAAI,CAAC,UAAU;SAC5B,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK;QACH,OAAO;YACL,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;YACb,IAAI,EAAE,IAAI,CAAC,WAAW;YACtB,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;YAC9B,WAAW,EAAE,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;YAClC,SAAS,EAAE,IAAI,CAAC,SAAS;SAC1B,CAAC;IACJ,CAAC;IAED,KAAK;QACH,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK;QACH,MAAM,OAAO,GAAG,IAAI,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxD,OAAO,CAAC,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;QACxC,OAAO,CAAC,WAAW,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;QAC5C,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAED,MAAM,UAAU,kBAAkB,CAAC,IAA0B;IAC3D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,IAAI,CAAC;QAEnB,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE5B,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC;YACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;YAEvD,QAAQ,EAAE,EAAE,CAAC;gBACX,KAAK,KAAK;oBACR,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3B,KAAK,KAAK;oBACR,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC5B,KAAK,KAAK;oBACR,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;gBACrC,KAAK,IAAI;oBACP,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;gBACrC,KAAK,KAAK;oBACR,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;gBACrC,KAAK,KAAK;oBACR,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC7C,KAAK,KAAK;oBACR,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;gBACrC,KAAK,KAAK;oBACR,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC7C,KAAK,KAAK;oBACR,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC/C,KAAK,KAAK;oBACR,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC7C,KAAK,IAAI;oBACP,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC7C,KAAK,KAAK;oBACR,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC7C,KAAK,IAAI;oBACP,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC7C,KAAK,KAAK;oBACR,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC7C,KAAK,IAAI;oBACP,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC7C,KAAK,KAAK;oBACR,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC7C,KAAK,SAAS;oBACZ,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC7C,KAAK,KAAK;oBACR,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC7C,KAAK,KAAK;oBACR,OAAO,MAAM,QAAQ,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrE,KAAK,cAAc;oBACjB,OAAO,gBAAgB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBAChD,KAAK,QAAQ;oBACX,OAAO,UAAU,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBACnE,KAAK,SAAS;oBACZ,OAAO,WAAW,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBACpE,KAAK,SAAS;oBACZ,OAAO,WAAW,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBACpE,KAAK,KAAK;oBACR,OAAO,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBACvC,KAAK,KAAK;oBACR,OAAO,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBACvC;oBACE,OAAO,GAAG,EAAE,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC3C,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,UAAsB;IACvD,MAAM,IAAI,GAAG,kBAAkB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC;IACrC,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEjB,IAAI,CAAC,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,YAAY,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,OAA0B;IACxD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,YAAY,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QAClC,IAAI,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACb,IAAI,IAAI,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,IAAI,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,GAAG,GAAG,CAAC;QAC/D,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACf,IAAI,IAAI,KAAK,CAAC,CAAC,QAAQ,QAAQ,CAAC;QAClC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CACR,cAAc,OAAO,CAAC,SAAS,CAAC,IAAI,IAAI,kBAAkB,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAC3F,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/constraints/index.d.ts

@@ -0,0 +1,7 @@
+export { Expr, ConstraintBuilder, variable, constant, and, or, not, implies, iff, ite, sum, product, allDifferent, atMost, atLeast, exactly, expressionToString, constraintToString, problemToString, } from './dsl';
+export { SimpleSATSolver, createSimpleSATSolver, solveSAT, type SimpleSATConfig, } from './simple-sat-solver';
+export { Z3WASMSolver, createZ3Solver, solveWithZ3, isZ3Available, type Z3SolverConfig, } from './z3-wasm-solver';
+export { createNLToConstraintsPrompt, createConstraintExplanationPrompt, createUnsatAnalysisPrompt, createConstraintSuggestionPrompt, parseNLConstraintsResponse, formatSolverResultForLLM, formatProblemSummary, type NLToConstraintsContext, type ConstraintExplanationContext, type UnsatAnalysisContext, type ConstraintSuggestionContext, type ParseNLConstraintsResult, } from './prompts';
+import type { ConstraintProblem, SolverResult, ConstraintSolverConfig } from '@cogitator-ai/types';
+export declare function solve(problem: ConstraintProblem, config?: Partial<ConstraintSolverConfig>): Promise<SolverResult>;
+//# sourceMappingURL=index.d.ts.map

package/dist/constraints/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/constraints/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,iBAAiB,EACjB,QAAQ,EACR,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,GAChB,MAAM,OAAO,CAAC;AAEf,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,QAAQ,EACR,KAAK,eAAe,GACrB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,YAAY,EACZ,cAAc,EACd,WAAW,EACX,aAAa,EACb,KAAK,cAAc,GACpB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,2BAA2B,EAC3B,iCAAiC,EACjC,yBAAyB,EACzB,gCAAgC,EAChC,0BAA0B,EAC1B,wBAAwB,EACxB,oBAAoB,EACpB,KAAK,sBAAsB,EAC3B,KAAK,4BAA4B,EACjC,KAAK,oBAAoB,EACzB,KAAK,2BAA2B,EAChC,KAAK,wBAAwB,GAC9B,MAAM,WAAW,CAAC;AAEnB,OAAO,KAAK,EAAE,iBAAiB,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAInG,wBAAsB,KAAK,CACzB,OAAO,EAAE,iBAAiB,EAC1B,MAAM,CAAC,EAAE,OAAO,CAAC,sBAAsB,CAAC,GACvC,OAAO,CAAC,YAAY,CAAC,CAcvB"}

package/dist/constraints/index.js

@@ -0,0 +1,18 @@
+export { Expr, ConstraintBuilder, variable, constant, and, or, not, implies, iff, ite, sum, product, allDifferent, atMost, atLeast, exactly, expressionToString, constraintToString, problemToString, } from './dsl';
+export { SimpleSATSolver, createSimpleSATSolver, solveSAT, } from './simple-sat-solver';
+export { Z3WASMSolver, createZ3Solver, solveWithZ3, isZ3Available, } from './z3-wasm-solver';
+export { createNLToConstraintsPrompt, createConstraintExplanationPrompt, createUnsatAnalysisPrompt, createConstraintSuggestionPrompt, parseNLConstraintsResponse, formatSolverResultForLLM, formatProblemSummary, } from './prompts';
+import { solveSAT } from './simple-sat-solver';
+import { solveWithZ3, isZ3Available } from './z3-wasm-solver';
+export async function solve(problem, config) {
+    const solverType = config?.solver ?? 'z3';
+    if (solverType === 'z3') {
+        const z3Available = await isZ3Available();
+        if (z3Available) {
+            return solveWithZ3(problem, config);
+        }
+        console.warn('Z3 not available, falling back to simple-sat solver');
+    }
+    return solveSAT(problem, config);
+}
+//# sourceMappingURL=index.js.map

package/dist/constraints/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/constraints/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,iBAAiB,EACjB,QAAQ,EACR,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,GAChB,MAAM,OAAO,CAAC;AAEf,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,QAAQ,GAET,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,YAAY,EACZ,cAAc,EACd,WAAW,EACX,aAAa,GAEd,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,2BAA2B,EAC3B,iCAAiC,EACjC,yBAAyB,EACzB,gCAAgC,EAChC,0BAA0B,EAC1B,wBAAwB,EACxB,oBAAoB,GAMrB,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAE,QAAQ,EAAwB,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAE9D,MAAM,CAAC,KAAK,UAAU,KAAK,CACzB,OAA0B,EAC1B,MAAwC;IAExC,MAAM,UAAU,GAAG,MAAM,EAAE,MAAM,IAAI,IAAI,CAAC;IAE1C,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,WAAW,GAAG,MAAM,aAAa,EAAE,CAAC;QAE1C,IAAI,WAAW,EAAE,CAAC;YAChB,OAAO,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACtC,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;IACtE,CAAC;IAED,OAAO,QAAQ,CAAC,OAAO,EAAE,MAAkC,CAAC,CAAC;AAC/D,CAAC"}

package/dist/constraints/prompts.d.ts

@@ -0,0 +1,44 @@
+import type { ConstraintProblem, SolverResult } from '@cogitator-ai/types';
+export interface NLToConstraintsContext {
+    description: string;
+    variableHints?: string[];
+    domain?: string;
+}
+export declare function createNLToConstraintsPrompt(ctx: NLToConstraintsContext): string;
+export interface ConstraintExplanationContext {
+    problem: ConstraintProblem;
+    result: SolverResult;
+}
+export declare function createConstraintExplanationPrompt(ctx: ConstraintExplanationContext): string;
+export interface UnsatAnalysisContext {
+    problem: ConstraintProblem;
+    unsatCore?: string[];
+}
+export declare function createUnsatAnalysisPrompt(ctx: UnsatAnalysisContext): string;
+export interface ConstraintSuggestionContext {
+    partialProblem: string;
+    goal: string;
+}
+export declare function createConstraintSuggestionPrompt(ctx: ConstraintSuggestionContext): string;
+export interface ParseNLConstraintsResult {
+    variables: Array<{
+        name: string;
+        type: 'bool' | 'int' | 'real';
+        domain?: {
+            min?: number;
+            max?: number;
+        };
+    }>;
+    constraints: Array<{
+        description: string;
+        expression: string;
+    }>;
+    objective?: {
+        type: 'minimize' | 'maximize';
+        expression: string;
+    };
+}
+export declare function parseNLConstraintsResponse(response: string): ParseNLConstraintsResult | null;
+export declare function formatSolverResultForLLM(result: SolverResult): string;
+export declare function formatProblemSummary(problem: ConstraintProblem): string;
+//# sourceMappingURL=prompts.d.ts.map

package/dist/constraints/prompts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompts.d.ts","sourceRoot":"","sources":["../../src/constraints/prompts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAG3E,MAAM,WAAW,sBAAsB;IACrC,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,sBAAsB,GAAG,MAAM,CAkC/E;AAED,MAAM,WAAW,4BAA4B;IAC3C,OAAO,EAAE,iBAAiB,CAAC;IAC3B,MAAM,EAAE,YAAY,CAAC;CACtB;AAED,wBAAgB,iCAAiC,CAAC,GAAG,EAAE,4BAA4B,GAAG,MAAM,CAkC3F;AAED,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,iBAAiB,CAAC;IAC3B,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,oBAAoB,GAAG,MAAM,CAoB3E;AAED,MAAM,WAAW,2BAA2B;IAC1C,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,wBAAgB,gCAAgC,CAAC,GAAG,EAAE,2BAA2B,GAAG,MAAM,CAezF;AAED,MAAM,WAAW,wBAAwB;IACvC,SAAS,EAAE,KAAK,CAAC;QACf,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,GAAG,KAAK,GAAG,MAAM,CAAC;QAC9B,MAAM,CAAC,EAAE;YAAE,GAAG,CAAC,EAAE,MAAM,CAAC;YAAC,GAAG,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC;KACzC,CAAC,CAAC;IACH,WAAW,EAAE,KAAK,CAAC;QACjB,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC,CAAC;IACH,SAAS,CAAC,EAAE;QACV,IAAI,EAAE,UAAU,GAAG,UAAU,CAAC;QAC9B,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC;CACH;AAED,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,MAAM,GAAG,wBAAwB,GAAG,IAAI,CA2B5F;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAyBrE;AAED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,iBAAiB,GAAG,MAAM,CAyBvE"}