@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.
- package/README.ja.md +131 -115
- package/README.md +131 -115
- package/README.zh-CN.md +133 -117
- package/dist/browser/solvers/glpk.js +10 -2
- package/dist/browser/solvers/glpk.min.js +1 -1
- package/dist/browser/solvers/z3.js +34 -12
- package/dist/browser/solvers/z3.min.js +2 -2
- package/dist/browser/washi.js +368 -306
- package/dist/browser/washi.min.js +4 -4
- package/dist/lib/{constraint-XWdn0ID9.js → constraint-BRuB3ooC.js} +0 -3
- package/dist/lib/solvers/glpk.js +10 -2
- package/dist/lib/solvers/z3.js +35 -10
- package/dist/lib/washi.js +368 -321
- package/dist/types/index.d.ts +5 -7
- package/dist/types/index.d.ts.map +1 -1
- package/dist/types/modeler/constraint.d.ts +0 -3
- package/dist/types/modeler/constraint.d.ts.map +1 -1
- package/dist/types/modeler/expression.d.ts +16 -10
- package/dist/types/modeler/expression.d.ts.map +1 -1
- package/dist/types/modeler/index.d.ts +2 -4
- package/dist/types/modeler/index.d.ts.map +1 -1
- package/dist/types/modeler/model.d.ts +90 -11
- package/dist/types/modeler/model.d.ts.map +1 -1
- package/dist/types/modeler/solvers/glpk/solver.d.ts.map +1 -1
- package/dist/types/modeler/solvers/highs/solver.d.ts +1 -1
- package/dist/types/modeler/solvers/highs/solver.d.ts.map +1 -1
- package/dist/types/modeler/solvers/types.d.ts +1 -1
- package/dist/types/modeler/solvers/z3/loader.d.ts +12 -0
- package/dist/types/modeler/solvers/z3/loader.d.ts.map +1 -1
- package/dist/types/modeler/types.d.ts +8 -3
- package/dist/types/modeler/types.d.ts.map +1 -1
- package/dist/types/modeler/variable.d.ts +1 -6
- package/dist/types/modeler/variable.d.ts.map +1 -1
- package/package.json +10 -2
- package/dist/types/modeler/mip-compat.d.ts +0 -43
- package/dist/types/modeler/mip-compat.d.ts.map +0 -1
- package/dist/types/modeler/pulp-compat.d.ts +0 -67
- 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"}
|