@ohtaman/washi 0.2.0 → 0.3.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (38) hide show
  1. package/README.ja.md +131 -115
  2. package/README.md +131 -115
  3. package/README.zh-CN.md +133 -117
  4. package/dist/browser/solvers/glpk.js +10 -2
  5. package/dist/browser/solvers/glpk.min.js +1 -1
  6. package/dist/browser/solvers/z3.js +34 -12
  7. package/dist/browser/solvers/z3.min.js +2 -2
  8. package/dist/browser/washi.js +368 -306
  9. package/dist/browser/washi.min.js +4 -4
  10. package/dist/lib/{constraint-XWdn0ID9.js → constraint-BRuB3ooC.js} +0 -3
  11. package/dist/lib/solvers/glpk.js +10 -2
  12. package/dist/lib/solvers/z3.js +35 -10
  13. package/dist/lib/washi.js +368 -321
  14. package/dist/types/index.d.ts +5 -7
  15. package/dist/types/index.d.ts.map +1 -1
  16. package/dist/types/modeler/constraint.d.ts +0 -3
  17. package/dist/types/modeler/constraint.d.ts.map +1 -1
  18. package/dist/types/modeler/expression.d.ts +16 -10
  19. package/dist/types/modeler/expression.d.ts.map +1 -1
  20. package/dist/types/modeler/index.d.ts +2 -4
  21. package/dist/types/modeler/index.d.ts.map +1 -1
  22. package/dist/types/modeler/model.d.ts +90 -11
  23. package/dist/types/modeler/model.d.ts.map +1 -1
  24. package/dist/types/modeler/solvers/glpk/solver.d.ts.map +1 -1
  25. package/dist/types/modeler/solvers/highs/solver.d.ts +1 -1
  26. package/dist/types/modeler/solvers/highs/solver.d.ts.map +1 -1
  27. package/dist/types/modeler/solvers/types.d.ts +1 -1
  28. package/dist/types/modeler/solvers/z3/loader.d.ts +12 -0
  29. package/dist/types/modeler/solvers/z3/loader.d.ts.map +1 -1
  30. package/dist/types/modeler/types.d.ts +8 -3
  31. package/dist/types/modeler/types.d.ts.map +1 -1
  32. package/dist/types/modeler/variable.d.ts +1 -6
  33. package/dist/types/modeler/variable.d.ts.map +1 -1
  34. package/package.json +10 -2
  35. package/dist/types/modeler/mip-compat.d.ts +0 -43
  36. package/dist/types/modeler/mip-compat.d.ts.map +0 -1
  37. package/dist/types/modeler/pulp-compat.d.ts +0 -67
  38. package/dist/types/modeler/pulp-compat.d.ts.map +0 -1
@@ -1,67 +0,0 @@
1
- import { Model } from "./model.js";
2
- import { Var } from "./variable.js";
3
- import { LinExpr, lpSum } from "./expression.js";
4
- import { QuadExpr } from "./quad-expr.js";
5
- import { Constraint } from "./constraint.js";
6
- import type { VarType, OptimizationSense, SolverStatus, SolveOptions } from "./types.js";
7
- import { type Solver, HiGHS, MockSolver, getSolver, listAvailableSolvers } from "./solvers/index.js";
8
- export declare const LpMinimize: OptimizationSense;
9
- export declare const LpMaximize: OptimizationSense;
10
- export declare const LpContinuous: VarType;
11
- export declare const LpInteger: VarType;
12
- export declare const LpBinary: VarType;
13
- export declare const LpStatus: Record<SolverStatus, string>;
14
- /**
15
- * PuLP-compatible LpVariable
16
- */
17
- export declare class LpVariable extends Var {
18
- constructor(name: string, lowBound?: number, upBound?: number, cat?: VarType);
19
- /**
20
- * PuLP-style LpVariable.dicts helper:
21
- * LpVariable.dicts("x", [0, 1, 2], 0, 1, LpBinary)
22
- */
23
- static dicts<K extends string | number>(name: string, indices: K[], lowBound?: number, upBound?: number, cat?: VarType): Record<K, LpVariable>;
24
- }
25
- /**
26
- * PuLP value() helper to extract value of variable or expression
27
- */
28
- export declare function value(item: Var | LinExpr | number | null | undefined): number | null;
29
- /**
30
- * PuLP-compatible LpProblem class
31
- */
32
- export declare class LpProblem {
33
- model: Model;
34
- constructor(name?: string, sense?: OptimizationSense);
35
- get name(): string;
36
- get sense(): OptimizationSense;
37
- set sense(val: OptimizationSense);
38
- get objective(): LinExpr | QuadExpr;
39
- get variables(): Var[];
40
- get constraints(): Constraint[];
41
- get status(): SolverStatus;
42
- get objectiveValue(): number | null;
43
- /**
44
- * Register a variable to the problem
45
- */
46
- addVariable(v: Var): Var;
47
- /**
48
- * Set objective function
49
- */
50
- setObjective(expr: LinExpr | Var | number | string): void;
51
- /**
52
- * Add a constraint
53
- */
54
- addConstraint(constraint: Constraint | string, name?: string): Constraint;
55
- /**
56
- * Convenient method to add either an objective or constraint
57
- */
58
- add(item: Constraint | LinExpr | Var | string, name?: string): void;
59
- /**
60
- * Solve the problem using specified solver (e.g. prob.solve(new HiGHS()), prob.solve(new GLPK()))
61
- * or default solver
62
- */
63
- solve(solverOrOptions?: Solver | string | SolveOptions, options?: SolveOptions): Promise<SolverStatus>;
64
- toLpString(): string;
65
- }
66
- export { lpSum, HiGHS, MockSolver, getSolver, listAvailableSolvers, };
67
- //# sourceMappingURL=pulp-compat.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"pulp-compat.d.ts","sourceRoot":"","sources":["../../../src/modeler/pulp-compat.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,OAAO,EAAO,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACzF,OAAO,EACL,KAAK,MAAM,EACX,KAAK,EACL,UAAU,EACV,SAAS,EACT,oBAAoB,EACrB,MAAM,oBAAoB,CAAC;AAG5B,eAAO,MAAM,UAAU,EAAE,iBAA8B,CAAC;AACxD,eAAO,MAAM,UAAU,EAAE,iBAA8B,CAAC;AAExD,eAAO,MAAM,YAAY,EAAE,OAAsB,CAAC;AAClD,eAAO,MAAM,SAAS,EAAE,OAAmB,CAAC;AAC5C,eAAO,MAAM,QAAQ,EAAE,OAAkB,CAAC;AAE1C,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,YAAY,EAAE,MAAM,CAYjD,CAAC;AAEF;;GAEG;AACH,qBAAa,UAAW,SAAQ,GAAG;IACjC,YACE,IAAI,EAAE,MAAM,EACZ,QAAQ,CAAC,EAAE,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,EAChB,GAAG,GAAE,OAAsB,EAQ5B;IAED;;;OAGG;IACH,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EACpC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,CAAC,EAAE,EACZ,QAAQ,CAAC,EAAE,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,EAChB,GAAG,GAAE,OAAsB,GAC1B,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAOvB;CACF;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,CAIpF;AAED;;GAEG;AACH,qBAAa,SAAS;IACb,KAAK,EAAE,KAAK,CAAC;IAEpB,YAAY,IAAI,GAAE,MAAiB,EAAE,KAAK,GAAE,iBAA8B,EAEzE;IAED,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,IAAI,KAAK,IAAI,iBAAiB,CAE7B;IAED,IAAI,KAAK,CAAC,GAAG,EAAE,iBAAiB,EAE/B;IAED,IAAI,SAAS,IAAI,OAAO,GAAG,QAAQ,CAElC;IAED,IAAI,SAAS,IAAI,GAAG,EAAE,CAErB;IAED,IAAI,WAAW,IAAI,UAAU,EAAE,CAE9B;IAED,IAAI,MAAM,IAAI,YAAY,CAEzB;IAED,IAAI,cAAc,IAAI,MAAM,GAAG,IAAI,CAElC;IAED;;OAEG;IACH,WAAW,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,CAMvB;IAED;;OAEG;IACH,YAAY,CAAC,IAAI,EAAE,OAAO,GAAG,GAAG,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAWxD;IAED;;OAEG;IACH,aAAa,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAOxE;IAED;;OAEG;IACH,GAAG,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,GAAG,GAAG,GAAG,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAYlE;IAED;;;OAGG;IACG,KAAK,CACT,eAAe,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,YAAY,EAChD,OAAO,CAAC,EAAE,YAAY,GACrB,OAAO,CAAC,YAAY,CAAC,CAEvB;IAED,UAAU,IAAI,MAAM,CAEnB;CACF;AAED,OAAO,EACL,KAAK,EACL,KAAK,EACL,UAAU,EACV,SAAS,EACT,oBAAoB,GACrB,CAAC"}