"use strict";
/**
 * Constraint System Types
 *
 * JSON-first representation of combinatorial and constraint satisfaction
 * problems. Designed to sit between a natural-language LLM parser and a
 * solver back-end (native TS, Z3, OR-Tools, MiniSat, …).
 *
 * Usage in the research pipeline:
 *   NL input → LLM → ConstraintSpec → SolverAgent → SolveResult + SolveTrace
 */
Object.defineProperty(exports, "__esModule", { value: true });
//# sourceMappingURL=constraint.js.map