@ohtaman/washi 0.0.0-stage → 0.1.0

package/dist/types/modeler/solvers/highs.d.ts

@@ -0,0 +1,26 @@
+import type { Solver, SolverOptions, SolverResult } from "./types.js";
+import type { LpModelData, LpExportResult } from "../lp-writer.js";
+/**
+ * HiGHS Solver adapter (WebAssembly in Browser / Node.js)
+ * High-performance simplex / interior point / branch-and-cut solver.
+ */
+export declare class HighsSolver implements Solver {
+    static readonly capabilities: {
+        supportsMIP: boolean;
+        supportsQP: boolean;
+    };
+    readonly name = "HiGHS";
+    readonly version = "1.15.3";
+    readonly capabilities: {
+        supportsMIP: boolean;
+        supportsQP: boolean;
+    };
+    options: SolverOptions;
+    constructor(options?: SolverOptions);
+    solve(modelData: LpModelData, lpResult: LpExportResult, options?: SolverOptions): Promise<SolverResult>;
+}
+/**
+ * PuLP-style alias: pulp.HiGHS()
+ */
+export declare const HiGHS: typeof HighsSolver;
+//# sourceMappingURL=highs.d.ts.map

package/dist/types/modeler/solvers/highs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"highs.d.ts","sourceRoot":"","sources":["../../../../src/modeler/solvers/highs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAInE;;;GAGG;AACH,qBAAa,WAAY,YAAW,MAAM;IACxC,gBAAuB,YAAY;QACjC,WAAW;QACX,UAAU;MACV;IACF,SAAgB,IAAI,WAAW;IAC/B,SAAgB,OAAO,YAAY;IACnC,SAAgB,YAAY;;;MAA4B;IACjD,OAAO,EAAE,aAAa,CAAC;IAE9B,YAAY,OAAO,GAAE,aAAkB,EAEtC;IAEK,KAAK,CACT,SAAS,EAAE,WAAW,EACtB,QAAQ,EAAE,cAAc,EACxB,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,YAAY,CAAC,CAyEvB;CACF;AAED;;GAEG;AACH,eAAO,MAAM,KAAK,oBAAc,CAAC"}

package/dist/types/modeler/solvers/index.d.ts

@@ -0,0 +1,7 @@
+export * from "./types.js";
+export * from "./registry.js";
+export * from "./highs.js";
+export * from "./glpk.js";
+export * from "./z3.js";
+export * from "./mock.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/types/modeler/solvers/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/modeler/solvers/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,SAAS,CAAC;AACxB,cAAc,WAAW,CAAC"}

package/dist/types/modeler/solvers/mock.d.ts

@@ -0,0 +1,25 @@
+import type { Solver, SolverOptions, SolverResult, SolverCapabilities } from "./types.js";
+import type { LpModelData, LpExportResult } from "../lp-writer.js";
+import type { SolverStatus } from "../types.js";
+export interface MockSolverOptions extends SolverOptions {
+    name?: string;
+    capabilities?: SolverCapabilities;
+    status?: SolverStatus;
+    objectiveValue?: number;
+    values?: Record<string, number>;
+    reducedCosts?: Record<string, number>;
+    duals?: Record<string, number>;
+    slacks?: Record<string, number>;
+    delayMs?: number;
+}
+/**
+ * Mock / Dummy Solver for deterministic testing, CI/CD, or offline usage without WASM.
+ */
+export declare class MockSolver implements Solver {
+    readonly name: string;
+    readonly capabilities: SolverCapabilities;
+    options: MockSolverOptions;
+    constructor(options?: MockSolverOptions);
+    solve(_modelData: LpModelData, _lpResult: LpExportResult, options?: SolverOptions): Promise<SolverResult>;
+}
+//# sourceMappingURL=mock.d.ts.map

package/dist/types/modeler/solvers/mock.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mock.d.ts","sourceRoot":"","sources":["../../../../src/modeler/solvers/mock.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAC1F,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD,MAAM,WAAW,iBAAkB,SAAQ,aAAa;IACtD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,YAAY,CAAC,EAAE,kBAAkB,CAAC;IAClC,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,qBAAa,UAAW,YAAW,MAAM;IACvC,SAAgB,IAAI,EAAE,MAAM,CAAC;IAC7B,SAAgB,YAAY,EAAE,kBAAkB,CAAC;IAC1C,OAAO,EAAE,iBAAiB,CAAC;IAElC,YAAY,OAAO,GAAE,iBAAsB,EAI1C;IAEK,KAAK,CACT,UAAU,EAAE,WAAW,EACvB,SAAS,EAAE,cAAc,EACzB,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,YAAY,CAAC,CAgBvB;CACF"}

package/dist/types/modeler/solvers/registry.d.ts

@@ -0,0 +1,20 @@
+import type { Solver, SolverOptions } from "./types.js";
+type SolverFactory = (options?: SolverOptions) => Solver;
+/**
+ * Register a new solver factory by name
+ */
+export declare function registerSolver(name: string, factory: SolverFactory): void;
+/**
+ * Set the default solver used when no solver is specified
+ */
+export declare function setDefaultSolver(solverOrName: string | SolverFactory | Solver): void;
+/**
+ * Get an instance of a solver by name or instance
+ */
+export declare function getSolver(solverOrName?: string | Solver, options?: SolverOptions): Solver;
+/**
+ * List all registered solver names
+ */
+export declare function listAvailableSolvers(): string[];
+export {};
+//# sourceMappingURL=registry.d.ts.map

package/dist/types/modeler/solvers/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../../../src/modeler/solvers/registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAKxD,KAAK,aAAa,GAAG,CAAC,OAAO,CAAC,EAAE,aAAa,KAAK,MAAM,CAAC;AAWzD;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI,CAEzE;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,YAAY,EAAE,MAAM,GAAG,aAAa,GAAG,MAAM,GAAG,IAAI,CAYpF;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,MAAM,CAgBzF;AAED;;GAEG;AACH,wBAAgB,oBAAoB,IAAI,MAAM,EAAE,CAE/C"}

package/dist/types/modeler/solvers/types.d.ts

@@ -0,0 +1,86 @@
+import type { SolverStatus } from "../types.js";
+import type { LpModelData, LpExportResult } from "../lp-writer.js";
+/**
+ * Normalized solution result returned by any solver adapter
+ */
+export interface SolverResult {
+    status: SolverStatus;
+    objectiveValue: number | null;
+    /** Variable primal values (keyed by variable name or ID) */
+    values: Record<string, number>;
+    /** Variable reduced costs (optional) */
+    reducedCosts?: Record<string, number>;
+    /** Constraint dual values (optional) */
+    duals?: Record<string, number>;
+    /** Constraint slacks (optional) */
+    slacks?: Record<string, number>;
+    /** Solution time in seconds */
+    runTime?: number;
+    /** Raw solver output or diagnostic logs */
+    logs?: string[];
+    raw?: any;
+}
+/**
+ * Common solver options supported across solvers
+ */
+export interface SolverOptions {
+    /** Maximum solve time limit in seconds */
+    timeLimit?: number;
+    /** Presolve mode */
+    presolve?: "on" | "off" | "choose";
+    /** Relative MIP gap tolerance (e.g. 0.01 for 1%) */
+    mipGap?: number;
+    /** Number of parallel threads */
+    threads?: number;
+    /** Enable verbose solver logging */
+    verbose?: boolean;
+    /** Use Web Worker for non-blocking browser execution */
+    useWorker?: boolean;
+    /** Additional solver-specific options */
+    [key: string]: any;
+}
+/**
+ * Problem classes and features supported by a solver engine
+ */
+export interface SolverCapabilities {
+    /** Supports mixed-integer programming (integer/binary variables) */
+    supportsMIP?: boolean;
+    /** Supports quadratic objectives (QP) */
+    supportsQP?: boolean;
+    /** Supports quadratic constraints (QCQP / SOCP) */
+    supportsQCQP?: boolean;
+    /** Supports satisfiability modulo theories / logical constraints */
+    supportsSMT?: boolean;
+    /** Supports extracting minimal unsatisfiable core */
+    supportsUnsatCore?: boolean;
+}
+export interface SolverCheckResult {
+    status: "Sat" | "Unsat" | "Unknown";
+    values: Record<string, number | boolean>;
+    unsatCore?: string[];
+    runTime?: number;
+    logs?: string[];
+    raw?: any;
+}
+/**
+ * Universal Solver interface.
+ * Any optimization engine (HiGHS WASM, GLPK, Gurobi Remote, CBC, SCIP, custom JS)
+ * implements this interface to be used interchangeably with Model and LpProblem.
+ */
+export interface Solver {
+    /** Identifier name of the solver engine */
+    readonly name: string;
+    /** Version string of the solver */
+    readonly version?: string;
+    /** Feature capabilities of this solver */
+    readonly capabilities?: SolverCapabilities;
+    /**
+     * Solve the given mathematical programming model data
+     */
+    solve(modelData: LpModelData, lpResult: LpExportResult, options?: SolverOptions): Promise<SolverResult>;
+    /**
+     * Check satisfiability of the model and logical constraints (optional)
+     */
+    check?(modelData: any, options?: SolverOptions): Promise<SolverCheckResult>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types/modeler/solvers/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/modeler/solvers/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEnE;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,YAAY,CAAC;IACrB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,4DAA4D;IAC5D,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,wCAAwC;IACxC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,wCAAwC;IACxC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,mCAAmC;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,+BAA+B;IAC/B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,2CAA2C;IAC3C,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,GAAG,CAAC,EAAE,GAAG,CAAC;CACX;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,0CAA0C;IAC1C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,oBAAoB;IACpB,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,QAAQ,CAAC;IACnC,oDAAoD;IACpD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iCAAiC;IACjC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oCAAoC;IACpC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,wDAAwD;IACxD,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,yCAAyC;IACzC,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,oEAAoE;IACpE,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,yCAAyC;IACzC,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,mDAAmD;IACnD,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,oEAAoE;IACpE,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,qDAAqD;IACrD,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;IACpC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC;IACzC,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,GAAG,CAAC,EAAE,GAAG,CAAC;CACX;AAED;;;;GAIG;AACH,MAAM,WAAW,MAAM;IACrB,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mCAAmC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,0CAA0C;IAC1C,QAAQ,CAAC,YAAY,CAAC,EAAE,kBAAkB,CAAC;IAC3C;;OAEG;IACH,KAAK,CACH,SAAS,EAAE,WAAW,EACtB,QAAQ,EAAE,cAAc,EACxB,OAAO,CAAC,EAAE,aAAa,GACtB,OAAO,CAAC,YAAY,CAAC,CAAC;IACzB;;OAEG;IACH,KAAK,CAAC,CACJ,SAAS,EAAE,GAAG,EACd,OAAO,CAAC,EAAE,aAAa,GACtB,OAAO,CAAC,iBAAiB,CAAC,CAAC;CAC/B"}

package/dist/types/modeler/solvers/z3.d.ts

@@ -0,0 +1,37 @@
+import type { Solver, SolverCapabilities, SolverOptions, SolverResult, SolverCheckResult } from "./types.js";
+/**
+ * Z3 SMT / SAT / MIP Solver Adapter
+ *
+ * Supports:
+ * - SAT & SMT logical formulas (And, Or, Not, Implies, Xor)
+ * - Feasibility checking via check()
+ * - Unsatisfiable core extraction (unsatCore) for conflict diagnosis
+ * - Mixed-Integer Programming (MIP) optimization via Z3 Optimize
+ */
+export declare class Z3Solver implements Solver {
+    readonly name = "z3";
+    readonly capabilities: SolverCapabilities;
+    /**
+     * Helper to build AST translations for a given Z3 Context
+     */
+    private createContextTranslator;
+    /**
+     * Check feasibility & propositional satisfaction without an objective function.
+     * Tracks constraints to return an unsatCore if infeasible.
+     */
+    check(modelData: any, _options?: SolverOptions): Promise<SolverCheckResult>;
+    /**
+     * Lightweight in-memory SMT / SAT reasoning engine for browser environments
+     * or when z3-solver native WASM is not available.
+     */
+    private fallbackCheck;
+    /**
+     * Solve optimization problem (MIP) or feasibility problem
+     */
+    solve(modelData: any, _lpResult: any, options?: SolverOptions): Promise<SolverResult>;
+}
+/**
+ * Register Z3 solver into global solver registry
+ */
+export declare function registerZ3Solver(): void;
+//# sourceMappingURL=z3.d.ts.map

package/dist/types/modeler/solvers/z3.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"z3.d.ts","sourceRoot":"","sources":["../../../../src/modeler/solvers/z3.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACV,MAAM,EACN,kBAAkB,EAClB,aAAa,EACb,YAAY,EACZ,iBAAiB,EAClB,MAAM,YAAY,CAAC;AAuBpB;;;;;;;;GAQG;AACH,qBAAa,QAAS,YAAW,MAAM;IACrC,QAAQ,CAAC,IAAI,QAAQ;IACrB,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAKvC;IAEF;;OAEG;IACH,OAAO,CAAC,uBAAuB;IA8I/B;;;OAGG;IACG,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,QAAQ,GAAE,aAAkB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAiGpF;IAED;;;OAGG;IACH,OAAO,CAAC,aAAa;IAuLrB;;OAEG;IACG,KAAK,CACT,SAAS,EAAE,GAAG,EACd,SAAS,EAAE,GAAG,EACd,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,YAAY,CAAC,CAiHvB;CACF;AAED;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,IAAI,CAEvC"}

package/dist/types/modeler/types.d.ts

@@ -0,0 +1,27 @@
+/**
+ * HiGHS & Model Types
+ */
+export type VarType = "Continuous" | "Integer" | "Binary";
+export type OptimizationSense = "Minimize" | "Maximize";
+export type ComparisonSense = "<=" | ">=" | "==";
+export type SolverStatus = "Optimal" | "Feasible" | "Infeasible" | "Unbounded" | "TimeLimit" | "IterationLimit" | "Error" | "NotSolved" | "Sat" | "Unsat" | "Unknown";
+export interface SolveOptions {
+    timeLimit?: number;
+    outputFlag?: boolean;
+    presolve?: "on" | "off" | "choose";
+    solver?: "choose" | "simplex" | "ipm" | "pdlp";
+    relGap?: number;
+    absGap?: number;
+    wasmUrl?: string;
+}
+export interface SolverSolution {
+    status: SolverStatus;
+    objectiveValue: number | null;
+    values: Record<string, number>;
+    duals: Record<string, number>;
+    reducedCosts: Record<string, number>;
+    slacks: Record<string, number>;
+    runTime: number;
+    raw?: any;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types/modeler/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/modeler/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,MAAM,OAAO,GAAG,YAAY,GAAG,SAAS,GAAG,QAAQ,CAAC;AAE1D,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,UAAU,CAAC;AAExD,MAAM,MAAM,eAAe,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;AAEjD,MAAM,MAAM,YAAY,GACpB,SAAS,GACT,UAAU,GACV,YAAY,GACZ,WAAW,GACX,WAAW,GACX,gBAAgB,GAChB,OAAO,GACP,WAAW,GACX,KAAK,GACL,OAAO,GACP,SAAS,CAAC;AAEd,MAAM,WAAW,YAAY;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,QAAQ,CAAC;IACnC,MAAM,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,KAAK,GAAG,MAAM,CAAC;IAC/C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,YAAY,CAAC;IACrB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,CAAC,EAAE,GAAG,CAAC;CACX"}

package/dist/types/modeler/variable.d.ts

@@ -0,0 +1,52 @@
+import type { VarType } from "./types.js";
+import { LinExpr } from "./expression.js";
+import { Constraint } from "./constraint.js";
+import { QuadExpr } from "./quad-expr.js";
+export interface VarOptions {
+    name?: string;
+    prefix?: string;
+    type?: VarType;
+    lb?: number;
+    ub?: number;
+}
+/**
+ * Represents a decision variable in an optimization problem.
+ * Compatible with both PuLP (LpVariable) and python-mip (Var).
+ */
+export declare class Var {
+    readonly id: number;
+    readonly name: string;
+    type: VarType;
+    lb: number;
+    ub: number;
+    /** Optimal primal value after solve */
+    value: number | null;
+    /** Reduced cost from dual solution */
+    reducedCost: number | null;
+    constructor(options?: VarOptions);
+    /** python-mip style value accessor */
+    get x(): number | null;
+    /** PuLP style value accessor */
+    get varValue(): number | null;
+    /** Multiply variable by a scalar coefficient or another variable/expression */
+    mul(coeff: number): LinExpr;
+    mul(other: Var): QuadExpr;
+    mul(other: LinExpr): QuadExpr;
+    /** Add variable with another variable, linear/quadratic expression, or number */
+    add(other: Var | LinExpr | QuadExpr | number): LinExpr | QuadExpr;
+    /** Subtract another variable, linear/quadratic expression, or number from this variable */
+    sub(other: Var | LinExpr | QuadExpr | number): LinExpr | QuadExpr;
+    /** Negate this variable: -x */
+    neg(): LinExpr;
+    /** Create a less-than-or-equal constraint: this <= rhs */
+    le(rhs: number | Var | LinExpr, name?: string): Constraint;
+    lessThanOrEqual(rhs: number | Var | LinExpr, name?: string): Constraint;
+    /** Create a greater-than-or-equal constraint: this >= rhs */
+    ge(rhs: number | Var | LinExpr, name?: string): Constraint;
+    greaterThanOrEqual(rhs: number | Var | LinExpr, name?: string): Constraint;
+    /** Create an equality constraint: this == rhs */
+    eq(rhs: number | Var | LinExpr, name?: string): Constraint;
+    equalTo(rhs: number | Var | LinExpr, name?: string): Constraint;
+    toString(): string;
+}
+//# sourceMappingURL=variable.d.ts.map

package/dist/types/modeler/variable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variable.d.ts","sourceRoot":"","sources":["../../../src/modeler/variable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAI1C,MAAM,WAAW,UAAU;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AAED;;;GAGG;AACH,qBAAa,GAAG;IACd,SAAgB,EAAE,EAAE,MAAM,CAAC;IAC3B,SAAgB,IAAI,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,OAAO,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IAElB,uCAAuC;IAChC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAQ;IACnC,sCAAsC;IAC/B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAQ;IAEzC,YAAY,OAAO,GAAE,UAAe,EAYnC;IAED,sCAAsC;IACtC,IAAI,CAAC,IAAI,MAAM,GAAG,IAAI,CAErB;IAED,gCAAgC;IAChC,IAAI,QAAQ,IAAI,MAAM,GAAG,IAAI,CAE5B;IAED,+EAA+E;IAC/E,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC;IAC5B,GAAG,CAAC,KAAK,EAAE,GAAG,GAAG,QAAQ,CAAC;IAC1B,GAAG,CAAC,KAAK,EAAE,OAAO,GAAG,QAAQ,CAAC;IAoB9B,iFAAiF;IACjF,GAAG,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,GAAG,QAAQ,CAKhE;IAED,2FAA2F;IAC3F,GAAG,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,GAAG,QAAQ,CAKhE;IAED,+BAA+B;IAC/B,GAAG,IAAI,OAAO,CAEb;IAED,0DAA0D;IAC1D,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAEzD;IACD,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAEtE;IAED,6DAA6D;IAC7D,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAEzD;IACD,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAEzE;IAED,iDAAiD;IACjD,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAEzD;IACD,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAE9D;IAED,QAAQ,IAAI,MAAM,CAEjB;CACF"}

package/package.json

@@ -1,6 +1,99 @@
 {
   "name": "@ohtaman/washi",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
-}
+  "version": "0.1.0",
+  "description": "WaSHI: WebAssembly Algebraic System for Hybrid & Integer modeling (LP, MIP, QP, SMT)",
+  "type": "module",
+  "main": "./dist/lib/washi.js",
+  "module": "./dist/lib/washi.js",
+  "types": "./dist/types/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/types/index.d.ts",
+      "import": "./dist/lib/washi.js",
+      "default": "./dist/lib/washi.js"
+    },
+    "./solvers/z3": {
+      "types": "./dist/types/modeler/solvers/z3.d.ts",
+      "import": "./dist/lib/solvers/z3.js",
+      "default": "./dist/lib/solvers/z3.js"
+    },
+    "./solvers/glpk": {
+      "types": "./dist/types/modeler/solvers/glpk.d.ts",
+      "import": "./dist/lib/solvers/glpk.js",
+      "default": "./dist/lib/solvers/glpk.js"
+    }
+  },
+  "files": [
+    "dist/lib",
+    "dist/types",
+    "README.md",
+    "README.ja.md",
+    "README.zh-CN.md",
+    "LICENSE",
+    "THIRD_PARTY_LICENSES.md"
+  ],
+  "scripts": {
+    "dev": "vite",
+    "build:demo": "vite build",
+    "build:types": "tsc -p tsconfig.lib.json",
+    "build:lib": "vite build --config vite.config.lib.ts",
+    "build": "npm run build:types && npm run build:lib && npm run build:demo",
+    "preview": "vite preview",
+    "test": "vitest run",
+    "test:e2e": "vitest run test/e2e.test.ts",
+    "prepublishOnly": "npm run build:types && npm run build:lib"
+  },
+  "keywords": [
+    "optimization",
+    "mathematical-programming",
+    "linear-programming",
+    "mixed-integer-programming",
+    "quadratic-programming",
+    "lp",
+    "mip",
+    "qp",
+    "highs",
+    "pulp",
+    "wasm",
+    "webassembly",
+    "typescript"
+  ],
+  "author": "",
+  "license": "MIT",
+  "publishConfig": {
+    "access": "public",
+    "registry": "https://registry.npmjs.org/"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/ohtaman/washi.git"
+  },
+  "bugs": {
+    "url": "https://github.com/ohtaman/washi/issues"
+  },
+  "homepage": "https://github.com/ohtaman/washi#readme",
+  "dependencies": {
+    "highs": "^1.15.3"
+  },
+  "peerDependencies": {
+    "glpk.js": "^5.0.0",
+    "z3-solver": "^5.2.0"
+  },
+  "peerDependenciesMeta": {
+    "glpk.js": {
+      "optional": true
+    },
+    "z3-solver": {
+      "optional": true
+    }
+  },
+  "devDependencies": {
+    "@types/node": "^26.6.3",
+    "glpk.js": "^5.0.0",
+    "playwright": "^1.63.0",
+    "typescript": "^7.0.2",
+    "vite": "^8.3.1",
+    "vitest": "^5.0.2",
+    "z3-solver": "^5.2.0"
+  }
+}