@ohtaman/washi 0.1.2 → 0.3.0

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

@@ -1,7 +1,5 @@
 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

@@ -1 +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"}
+{"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"}

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

@@ -22,4 +22,5 @@ export declare class MockSolver implements Solver {
     constructor(options?: MockSolverOptions);
     solve(_modelData: LpModelData, _lpResult: LpExportResult, options?: SolverOptions): Promise<SolverResult>;
 }
+export declare function registerMockSolver(): void;
 //# sourceMappingURL=mock.d.ts.map

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

@@ -1 +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"}
+{"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;AAGD,wBAAgB,kBAAkB,IAAI,IAAI,CAEzC"}

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

@@ -1,5 +1,5 @@
 import type { Solver, SolverOptions } from "./types.js";
-type SolverFactory = (options?: SolverOptions) => Solver;
+export type SolverFactory = (options?: SolverOptions) => Solver;
 /**
  * Register a new solver factory by name
  */
@@ -16,5 +16,4 @@ export declare function getSolver(solverOrName?: string | Solver, options?: Solv
  * 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

@@ -1 +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"}
+{"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;AAExD,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,CAAC,EAAE,aAAa,KAAK,MAAM,CAAC;AAYhE;;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,CAiCzF;AAED;;GAEG;AACH,wBAAgB,oBAAoB,IAAI,MAAM,EAAE,CAE/C"}

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

@@ -65,7 +65,7 @@ export interface SolverCheckResult {
 /**
  * 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.
+ * implements this interface to be used interchangeably with Model.
  */
 export interface Solver {
     /** Identifier name of the solver engine */

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

@@ -0,0 +1,11 @@
+/**
+ * Asset discovery for Z3 solver plugin.
+ *
+ * In bundler builds (Vite, webpack), the static `new URL("./...", import.meta.url)`
+ * pattern enables automatic discovery and emission of z3-built.js and z3-built.wasm.
+ */
+export declare function getBundledZ3AssetUrls(): {
+    jsUrl: string;
+    wasmUrl: string;
+};
+//# sourceMappingURL=assets.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"assets.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/z3/assets.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,wBAAgB,qBAAqB,IAAI;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAK1E"}

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

@@ -0,0 +1,3 @@
+export * from "./solver.js";
+export * from "./loader.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/z3/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC"}

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

@@ -0,0 +1,56 @@
+type Z3Instance = any;
+export declare function unlockAllZ3Semaphores(error?: Error): void;
+export declare function registerZ3ErrorHandler(handler: (err: Error) => void): () => void;
+export declare function notifyZ3WorkerError(err: any): void;
+/**
+ * Configure explicit URLs for Z3 assets (z3-built.js and z3-built.wasm).
+ */
+export declare function setZ3Assets(urls: {
+    jsUrl?: string | null;
+    wasmUrl?: string | null;
+}): void;
+/**
+ * Reset cached Z3 initialization promise and instance (for testing and retry).
+ */
+export declare function resetZ3LoaderCache(): void;
+/**
+ * Validate browser environment prerequisites for multithreaded Z3 WASM.
+ */
+export declare function validateZ3BrowserEnvironment(): void;
+/**
+ * Probe an asset URL to verify it returns a valid response (not 404 and not HTML SPA fallback).
+ *
+ * @internal
+ */
+export declare function probeAssetUrl(url: string, assetName: string): Promise<void>;
+/**
+ * Resolve asset URLs for z3-built.js and z3-built.wasm in browser environments.
+ */
+export declare function resolveZ3AssetUrls(options?: {
+    z3JsUrl?: string;
+    z3WasmUrl?: string;
+    [key: string]: any;
+}): {
+    jsUrl: string;
+    wasmUrl: string;
+};
+/**
+ * Dynamically load z3-built.js script in browser to register global initZ3
+ *
+ * @internal
+ */
+export declare function ensureInitZ3Loaded(jsUrl: string): Promise<any>;
+/**
+ * Load and initialize Z3 theorem prover.
+ */
+export declare function loadZ3(options?: {
+    z3JsUrl?: string;
+    z3WasmUrl?: string;
+    [key: string]: any;
+}): Promise<Z3Instance>;
+/**
+ * Terminate background Z3 worker threads (Node.js and Browser).
+ */
+export declare function killZ3Threads(z3Instance?: any): Promise<void>;
+export {};
+//# sourceMappingURL=loader.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"loader.d.ts","sourceRoot":"","sources":["../../../../../src/modeler/solvers/z3/loader.ts"],"names":[],"mappings":"AAEA,KAAK,UAAU,GAAG,GAAG,CAAC;AAyBtB,wBAAgB,qBAAqB,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,IAAI,CAazD;AA+BD,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,KAAK,KAAK,IAAI,GAAG,MAAM,IAAI,CAGhF;AAED,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAyBlD;AAkED;;GAEG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE;IAAE,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,GAAG,IAAI,CAI1F;AAED;;GAEG;AACH,wBAAgB,kBAAkB,IAAI,IAAI,CAGzC;AAED;;GAEG;AACH,wBAAgB,4BAA4B,IAAI,IAAI,CA4BnD;AAED;;;;GAIG;AACH,wBAAsB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAsCjF;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,GAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAA;CAAO,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAiBjJ;AAED;;;;GAIG;AACH,wBAAsB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAuFpE;AAED;;GAEG;AACH,wBAAsB,MAAM,CAAC,OAAO,GAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAA;CAAO,GAAG,OAAO,CAAC,UAAU,CAAC,CAqG5H;AAED;;GAEG;AACH,wBAAsB,aAAa,CAAC,UAAU,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CA2BnE"}

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

@@ -0,0 +1,34 @@
+import type { Solver, SolverCapabilities, SolverOptions, SolverResult, SolverCheckResult } from "../types.js";
+import { resetZ3LoaderCache, killZ3Threads, unlockAllZ3Semaphores, notifyZ3WorkerError } from "./loader.js";
+export { resetZ3LoaderCache, killZ3Threads, unlockAllZ3Semaphores, notifyZ3WorkerError };
+/**
+ * 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>;
+    /**
+     * 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=solver.d.ts.map

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

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

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

@@ -1,36 +1,2 @@
-import type { Solver, SolverCapabilities, SolverOptions, SolverResult, SolverCheckResult } from "./types.js";
-/**
- * Reset cached Z3 initialization promise (primarily for testing).
- */
-export declare function resetZ3LoaderCache(): void;
-/**
- * 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>;
-    /**
-     * 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;
+export * from "./z3/index.js";
 //# sourceMappingURL=z3.d.ts.map

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

@@ -1 +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;AA8BpB;;GAEG;AACH,wBAAgB,kBAAkB,IAAI,IAAI,CAEzC;AAED;;;;;;;;GAQG;AACH,qBAAa,QAAS,YAAW,MAAM;IACrC,QAAQ,CAAC,IAAI,QAAQ;IACrB,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAKvC;IAEF;;OAEG;IACH,OAAO,CAAC,uBAAuB;IA+L/B;;;OAGG;IACG,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,QAAQ,GAAE,aAAkB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAsFpF;IAED;;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"}
+{"version":3,"file":"z3.d.ts","sourceRoot":"","sources":["../../../../src/modeler/solvers/z3.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC"}

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

@@ -1,18 +1,23 @@
 /**
  * HiGHS & Model Types
  */
-export type VarType = "Continuous" | "Integer" | "Binary";
-export type OptimizationSense = "Minimize" | "Maximize";
+export type VarType = "Continuous" | "Integer" | "Binary" | "continuous" | "integer" | "binary" | "cont" | "int" | "bin";
+export type OptimizationSense = "Minimize" | "Maximize" | "minimize" | "maximize";
+/**
+ * Normalizes user-facing optimization sense to internal canonical form ("Maximize" | "Minimize")
+ */
+export declare function normalizeSense(sense?: OptimizationSense): "Maximize" | "Minimize";
 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";
+    solver?: "choose" | "simplex" | "ipm" | "pdlp" | (string & {});
     relGap?: number;
     absGap?: number;
     wasmUrl?: string;
+    [key: string]: any;
 }
 export interface SolverSolution {
     status: SolverStatus;

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

@@ -1 +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"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/modeler/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,MAAM,OAAO,GACf,YAAY,GACZ,SAAS,GACT,QAAQ,GACR,YAAY,GACZ,SAAS,GACT,QAAQ,GACR,MAAM,GACN,KAAK,GACL,KAAK,CAAC;AAEV,MAAM,MAAM,iBAAiB,GACzB,UAAU,GACV,UAAU,GACV,UAAU,GACV,UAAU,CAAC;AAEf;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,CAAC,EAAE,iBAAiB,GAAG,UAAU,GAAG,UAAU,CAGjF;AAGD,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,GAAG,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;IAC/D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB;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

@@ -11,12 +11,11 @@ export interface VarOptions {
 }
 /**
  * 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;
+    type: "Continuous" | "Integer" | "Binary";
     lb: number;
     ub: number;
     /** Optimal primal value after solve */
@@ -24,10 +23,6 @@ export declare class Var {
     /** 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;

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

@@ -1 +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"}
+{"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;AAUD;;GAEG;AACH,qBAAa,GAAG;IACd,SAAgB,EAAE,EAAE,MAAM,CAAC;IAC3B,SAAgB,IAAI,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,YAAY,GAAG,SAAS,GAAG,QAAQ,CAAC;IAC1C,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,+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,6 @@
 {
   "name": "@ohtaman/washi",
-  "version": "0.1.2",
+  "version": "0.3.0",
   "description": "WaSHI: WebAssembly Algebraic System for Hybrid & Integer modeling (LP, MIP, QP, SMT)",
   "type": "module",
   "main": "./dist/lib/washi.js",
@@ -14,12 +14,12 @@
     },
     "./highs.wasm": "./dist/lib/highs.wasm",
     "./solvers/z3": {
-      "types": "./dist/types/modeler/solvers/z3.d.ts",
+      "types": "./dist/types/modeler/solvers/z3/index.d.ts",
       "import": "./dist/lib/solvers/z3.js",
       "default": "./dist/lib/solvers/z3.js"
     },
     "./solvers/glpk": {
-      "types": "./dist/types/modeler/solvers/glpk.d.ts",
+      "types": "./dist/types/modeler/solvers/glpk/index.d.ts",
       "import": "./dist/lib/solvers/glpk.js",
       "default": "./dist/lib/solvers/glpk.js"
     },
@@ -28,7 +28,21 @@
       "import": "./dist/browser/washi.js",
       "default": "./dist/browser/washi.js"
     },
-    "./browser/washi.min.js": "./dist/browser/washi.min.js"
+    "./browser/washi.min.js": "./dist/browser/washi.min.js",
+    "./browser/solvers/glpk": {
+      "types": "./dist/types/modeler/solvers/glpk/index.d.ts",
+      "import": "./dist/browser/solvers/glpk.js",
+      "default": "./dist/browser/solvers/glpk.js"
+    },
+    "./browser/solvers/glpk.min.js": "./dist/browser/solvers/glpk.min.js",
+    "./browser/solvers/z3": {
+      "types": "./dist/types/modeler/solvers/z3/index.d.ts",
+      "import": "./dist/browser/solvers/z3.js",
+      "default": "./dist/browser/solvers/z3.js"
+    },
+    "./browser/solvers/z3.min.js": "./dist/browser/solvers/z3.min.js",
+    "./solvers/z3-built.js": "./dist/lib/solvers/z3-built.js",
+    "./solvers/z3-built.wasm": "./dist/lib/solvers/z3-built.wasm"
   },
   "files": [
     "dist/lib",
@@ -43,15 +57,20 @@
   "scripts": {
     "dev": "vite",
     "build:demo": "vite build",
-    "build:types": "tsc -p tsconfig.lib.json",
+    "build:types": "node -e \"import('node:fs').then(fs => fs.rmSync('dist/types', { recursive: true, force: true }))\" && tsc -p tsconfig.lib.json",
     "build:lib": "node scripts/build-library.mjs",
     "build": "npm run build:types && npm run build:lib && npm run build:browser && npm run build:demo",
+    "build:site": "node scripts/build-site.mjs",
+    "docs:dev": "vitepress dev docs",
+    "docs:build": "vitepress build docs",
+    "docs:preview": "vitepress preview docs",
     "preview": "vite preview",
     "test": "vitest run",
     "test:e2e": "RUN_E2E=1 vitest run test/e2e.test.ts",
     "prepublishOnly": "npm run build:types && npm run build:lib && npm run build:browser",
     "build:browser": "node scripts/build-browser.mjs",
-    "test:distribution": "npm run build:types && npm run build:lib && npm run build:browser && node --experimental-vm-modules scripts/check-distribution.mjs"
+    "test:distribution": "npm run build:types && npm run build:lib && npm run build:browser && node --experimental-vm-modules scripts/check-distribution.mjs",
+    "test:demo": "BASE_URL=/washi/ npm run build:demo && node scripts/check-demo-browser.mjs"
   },
   "keywords": [
     "optimization",
@@ -100,9 +119,12 @@
   "devDependencies": {
     "@types/node": "^26.6.3",
     "glpk.js": "^5.0.0",
+    "mermaid": "^11.17.2",
     "playwright": "^1.63.0",
     "typescript": "^7.0.2",
     "vite": "^8.3.1",
+    "vitepress": "^1.6.4",
+    "vitepress-plugin-mermaid": "^2.0.17",
     "vitest": "^5.0.2",
     "webpack": "^5.111.1",
     "z3-solver": "^5.2.0"

package/dist/browser/_washi-optional-engine-282Ug7Gw.js

@@ -1,7 +0,0 @@
-//#region \0washi-optional-engine
-function e() {
-	throw Error("[WaSHI] Optional GLPK/Z3 engines are not included in the browser bundle. Use the npm package with the optional dependency installed.");
-}
-var t = e;
-//#endregion
-export { e as default, t as init };

package/dist/lib/glpk-5cUpjyb9.js

@@ -1,135 +0,0 @@
-//#region src/glpk-loader.ts
-var e = null;
-async function t() {
-	return e || (e = (async () => {
-		let e = typeof process < "u" && process.versions && process.versions.node && process.type !== "renderer";
-		try {
-			if (e) {
-				let e = await import(
-					/* webpackIgnore: true */
-					/* @vite-ignore */
-					"glpk.js/node"
-);
-				return await (e.default || e)();
-			}
-			let t = await import("glpk.js");
-			return await (t.default || t)();
-		} catch (e) {
-			throw Error("[WaSHI] Could not load GLPK. Install the optional glpk.js dependency before selecting this solver.", { cause: e });
-		}
-	})(), e);
-}
-//#endregion
-//#region src/modeler/solvers/glpk.ts
-var n = class e {
-	static capabilities = {
-		supportsMIP: !0,
-		supportsQP: !1
-	};
-	name = "GLPK";
-	version = "5.0.0";
-	capabilities = e.capabilities;
-	options;
-	constructor(e = {}) {
-		this.options = e;
-	}
-	async solve(e, n, r = {}) {
-		let i = {
-			...this.options,
-			...r
-		}, a = await t(), { nameToVar: o, nameToConstraint: s } = n, c = /* @__PURE__ */ new Map();
-		for (let [e, t] of o.entries()) c.set(t, e);
-		let l = /* @__PURE__ */ new Map();
-		for (let [e, t] of s.entries()) l.set(t, e);
-		let u = [], d = "linearTerms" in e.objective ? e.objective.linearTerms : e.objective.terms;
-		if (d) for (let [e, t] of d) {
-			if (Math.abs(t) < 1e-12) continue;
-			let n = c.get(e) || e.name;
-			u.push({
-				name: n,
-				coef: Number(t)
-			});
-		}
-		let f = [];
-		for (let t of e.constraints) {
-			let e = l.get(t) || t.name || `c_${f.length + 1}`, n = [];
-			for (let [e, r] of t.lhs.terms) {
-				if (Math.abs(r) < 1e-12) continue;
-				let t = c.get(e) || e.name;
-				n.push({
-					name: t,
-					coef: Number(r)
-				});
-			}
-			let r;
-			r = t.sense === "==" ? {
-				type: a.GLP_FX,
-				lb: t.rhs,
-				ub: t.rhs
-			} : t.sense === "<=" ? {
-				type: a.GLP_UP,
-				lb: -Infinity,
-				ub: t.rhs
-			} : {
-				type: a.GLP_LO,
-				lb: t.rhs,
-				ub: Infinity
-			}, f.push({
-				name: e,
-				vars: n,
-				bnds: r
-			});
-		}
-		let p = [], m = [], h = [];
-		for (let t of e.variables) {
-			let e = c.get(t) || t.name;
-			t.type === "Binary" ? p.push(e) : t.type === "Integer" && m.push(e);
-			let n = t.lb, r = t.ub, i;
-			i = n === -Infinity && r === Infinity ? a.GLP_FR : n !== -Infinity && r === Infinity ? a.GLP_LO : n === -Infinity && r !== Infinity ? a.GLP_UP : n === r ? a.GLP_FX : a.GLP_DB, h.push({
-				name: e,
-				type: i,
-				lb: n === -Infinity ? 0 : n,
-				ub: r === Infinity ? 0 : r
-			});
-		}
-		let g = {
-			name: e.name || "GLPK_Model",
-			objective: {
-				direction: e.sense === "Maximize" ? a.GLP_MAX : a.GLP_MIN,
-				name: "obj",
-				vars: u
-			},
-			subjectTo: f
-		};
-		h.length > 0 && (g.bounds = h), p.length > 0 && (g.binaries = p), m.length > 0 && (g.generals = m);
-		let _ = {
-			msglev: i.verbose ? a.GLP_MSG_ALL : a.GLP_MSG_OFF,
-			presol: i.presolve !== "off"
-		};
-		typeof i.timeLimit == "number" && (_.tmlim = i.timeLimit), typeof i.mipGap == "number" && (_.mipgap = i.mipGap);
-		let v = performance.now(), y = await a.solve(g, _), b = (performance.now() - v) / 1e3, x = y?.result?.status, S;
-		S = x === a.GLP_OPT ? "Optimal" : x === a.GLP_FEAS ? "Feasible" : x === a.GLP_INFEAS || x === a.GLP_NOFEAS ? "Infeasible" : x === a.GLP_UNBND ? "Unbounded" : "Optimal";
-		let C = y?.result?.z, w = typeof C == "number" ? C + e.objective.constant : null, T = {}, E = y?.result?.vars || {};
-		for (let [e, t] of Object.entries(E)) {
-			let n = o.get(e), r = n ? n.name : e;
-			T[r] = typeof t == "number" ? Math.abs(t) < 1e-9 ? 0 : t : 0;
-		}
-		for (let t of e.variables) T[t.name] === void 0 && (T[t.name] = 0);
-		let D = {};
-		if (y?.result?.dual) for (let [e, t] of Object.entries(y.result.dual)) {
-			let n = s.get(e), r = n ? n.name : e;
-			D[r] = Number(t);
-		}
-		return {
-			status: S,
-			objectiveValue: w,
-			values: T,
-			duals: D,
-			runTime: y?.time || b,
-			logs: [`GLPK solved in ${(y?.time || b) * 1e3} ms.`],
-			raw: y
-		};
-	}
-};
-//#endregion
-export { t as n, n as t };