@ohtaman/washi 0.1.1 → 0.2.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 +124 -22
- package/README.md +124 -22
- package/README.zh-CN.md +124 -22
- package/dist/browser/browser-runtime-D13gHOT5.js +4189 -0
- package/dist/browser/highs-worker.js +21 -0
- package/dist/{lib/demo → browser}/highs.wasm +0 -0
- package/dist/browser/highs.wasm.LICENSE +22 -0
- package/dist/browser/loader-CVt4CloI.js +58 -0
- package/dist/browser/solvers/glpk.js +1057 -0
- package/dist/browser/solvers/glpk.min.js +1 -0
- package/dist/browser/solvers/z3-built.js +8245 -0
- package/dist/browser/solvers/z3-built.wasm +4 -0
- package/dist/browser/solvers/z3.js +7528 -0
- package/dist/browser/solvers/z3.min.js +5 -0
- package/dist/browser/washi.js +1213 -0
- package/dist/browser/washi.min.js +5 -0
- package/dist/lib/async-mutex-Duo4jwzn.js +195 -0
- package/dist/lib/constraint-XWdn0ID9.js +93 -0
- package/dist/lib/highs-assets.js +1 -0
- package/dist/lib/highs-browser-runtime.js +4189 -0
- package/dist/lib/highs-node-runtime.js +1 -0
- package/dist/lib/highs-worker-factory.js +1 -0
- package/dist/lib/highs-worker.js +21 -0
- package/dist/lib/highs.wasm +0 -0
- package/dist/lib/loader-Dti0v9yC.js +50 -0
- package/dist/lib/registry-DksqCSjI.js +32 -0
- package/dist/lib/solvers/glpk.js +153 -2
- package/dist/lib/solvers/z3-assets.js +1 -0
- package/dist/lib/solvers/z3-built.js +8245 -0
- package/dist/lib/solvers/z3-built.wasm +4 -0
- package/dist/lib/solvers/z3.js +451 -2
- package/dist/lib/washi.js +388 -78
- package/dist/types/index.d.ts +2 -3
- package/dist/types/index.d.ts.map +1 -1
- package/dist/types/modeler/index.d.ts +1 -1
- package/dist/types/modeler/index.d.ts.map +1 -1
- package/dist/types/modeler/model.d.ts +1 -1
- package/dist/types/modeler/model.d.ts.map +1 -1
- package/dist/types/modeler/solvers/glpk/index.d.ts +3 -0
- package/dist/types/modeler/solvers/glpk/index.d.ts.map +1 -0
- package/dist/types/modeler/solvers/glpk/loader.d.ts +16 -0
- package/dist/types/modeler/solvers/glpk/loader.d.ts.map +1 -0
- package/dist/types/modeler/solvers/glpk/solver.d.ts +26 -0
- package/dist/types/modeler/solvers/glpk/solver.d.ts.map +1 -0
- package/dist/types/modeler/solvers/glpk.d.ts +1 -21
- package/dist/types/modeler/solvers/glpk.d.ts.map +1 -1
- package/dist/types/modeler/solvers/highs/assets.d.ts +3 -0
- package/dist/types/modeler/solvers/highs/assets.d.ts.map +1 -0
- package/dist/types/modeler/solvers/highs/browser-runtime.d.ts +2 -0
- package/dist/types/modeler/solvers/highs/browser-runtime.d.ts.map +1 -0
- package/dist/types/modeler/solvers/highs/index.d.ts +6 -0
- package/dist/types/modeler/solvers/highs/index.d.ts.map +1 -0
- package/dist/types/{highs-loader.d.ts → modeler/solvers/highs/loader.d.ts} +3 -3
- package/dist/types/modeler/solvers/highs/loader.d.ts.map +1 -0
- package/dist/types/modeler/solvers/highs/node-runtime.d.ts +2 -0
- package/dist/types/modeler/solvers/highs/node-runtime.d.ts.map +1 -0
- package/dist/types/modeler/solvers/highs/solver.d.ts +33 -0
- package/dist/types/modeler/solvers/highs/solver.d.ts.map +1 -0
- package/dist/types/modeler/solvers/highs/worker-client.d.ts +13 -0
- package/dist/types/modeler/solvers/highs/worker-client.d.ts.map +1 -0
- package/dist/types/modeler/solvers/highs/worker-factory.d.ts +3 -0
- package/dist/types/modeler/solvers/highs/worker-factory.d.ts.map +1 -0
- package/dist/types/modeler/solvers/highs/worker.d.ts +2 -0
- package/dist/types/modeler/solvers/highs/worker.d.ts.map +1 -0
- package/dist/types/modeler/solvers/highs.d.ts +1 -25
- package/dist/types/modeler/solvers/highs.d.ts.map +1 -1
- package/dist/types/modeler/solvers/index.d.ts +0 -2
- package/dist/types/modeler/solvers/index.d.ts.map +1 -1
- package/dist/types/modeler/solvers/mock.d.ts +1 -0
- package/dist/types/modeler/solvers/mock.d.ts.map +1 -1
- package/dist/types/modeler/solvers/registry.d.ts +1 -2
- package/dist/types/modeler/solvers/registry.d.ts.map +1 -1
- package/dist/types/modeler/solvers/types.d.ts +1 -1
- package/dist/types/modeler/solvers/types.d.ts.map +1 -1
- package/dist/types/modeler/solvers/z3/assets.d.ts +11 -0
- package/dist/types/modeler/solvers/z3/assets.d.ts.map +1 -0
- package/dist/types/modeler/solvers/z3/index.d.ts +3 -0
- package/dist/types/modeler/solvers/z3/index.d.ts.map +1 -0
- package/dist/types/modeler/solvers/z3/loader.d.ts +44 -0
- package/dist/types/modeler/solvers/z3/loader.d.ts.map +1 -0
- package/dist/types/modeler/solvers/z3/solver.d.ts +34 -0
- package/dist/types/modeler/solvers/z3/solver.d.ts.map +1 -0
- package/dist/types/modeler/solvers/z3.d.ts +1 -36
- package/dist/types/modeler/solvers/z3.d.ts.map +1 -1
- package/package.json +35 -9
- package/dist/lib/assets/highs-worker-DeDWU6KI.js +0 -3
- package/dist/lib/glpk-BC32ZaPG.js +0 -126
- package/dist/lib/washi-logo.png +0 -0
- package/dist/lib/washi-logo.svg +0 -70
- package/dist/lib/z3-C8g-PtmP.js +0 -582
- package/dist/types/glpk-loader.d.ts +0 -8
- package/dist/types/glpk-loader.d.ts.map +0 -1
- package/dist/types/highs-loader.d.ts.map +0 -1
- package/dist/types/highs-worker-client.d.ts +0 -12
- package/dist/types/highs-worker-client.d.ts.map +0 -1
- package/dist/types/highs-worker.d.ts +0 -2
- package/dist/types/highs-worker.d.ts.map +0 -1
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@ohtaman/washi",
|
|
3
|
-
"version": "0.
|
|
3
|
+
"version": "0.2.0",
|
|
4
4
|
"description": "WaSHI: WebAssembly Algebraic System for Hybrid & Integer modeling (LP, MIP, QP, SMT)",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"main": "./dist/lib/washi.js",
|
|
@@ -14,18 +14,39 @@
|
|
|
14
14
|
},
|
|
15
15
|
"./highs.wasm": "./dist/lib/highs.wasm",
|
|
16
16
|
"./solvers/z3": {
|
|
17
|
-
"types": "./dist/types/modeler/solvers/z3.d.ts",
|
|
17
|
+
"types": "./dist/types/modeler/solvers/z3/index.d.ts",
|
|
18
18
|
"import": "./dist/lib/solvers/z3.js",
|
|
19
19
|
"default": "./dist/lib/solvers/z3.js"
|
|
20
20
|
},
|
|
21
21
|
"./solvers/glpk": {
|
|
22
|
-
"types": "./dist/types/modeler/solvers/glpk.d.ts",
|
|
22
|
+
"types": "./dist/types/modeler/solvers/glpk/index.d.ts",
|
|
23
23
|
"import": "./dist/lib/solvers/glpk.js",
|
|
24
24
|
"default": "./dist/lib/solvers/glpk.js"
|
|
25
|
-
}
|
|
25
|
+
},
|
|
26
|
+
"./browser": {
|
|
27
|
+
"types": "./dist/types/index.d.ts",
|
|
28
|
+
"import": "./dist/browser/washi.js",
|
|
29
|
+
"default": "./dist/browser/washi.js"
|
|
30
|
+
},
|
|
31
|
+
"./browser/washi.min.js": "./dist/browser/washi.min.js",
|
|
32
|
+
"./browser/solvers/glpk": {
|
|
33
|
+
"types": "./dist/types/modeler/solvers/glpk/index.d.ts",
|
|
34
|
+
"import": "./dist/browser/solvers/glpk.js",
|
|
35
|
+
"default": "./dist/browser/solvers/glpk.js"
|
|
36
|
+
},
|
|
37
|
+
"./browser/solvers/glpk.min.js": "./dist/browser/solvers/glpk.min.js",
|
|
38
|
+
"./browser/solvers/z3": {
|
|
39
|
+
"types": "./dist/types/modeler/solvers/z3/index.d.ts",
|
|
40
|
+
"import": "./dist/browser/solvers/z3.js",
|
|
41
|
+
"default": "./dist/browser/solvers/z3.js"
|
|
42
|
+
},
|
|
43
|
+
"./browser/solvers/z3.min.js": "./dist/browser/solvers/z3.min.js",
|
|
44
|
+
"./solvers/z3-built.js": "./dist/lib/solvers/z3-built.js",
|
|
45
|
+
"./solvers/z3-built.wasm": "./dist/lib/solvers/z3-built.wasm"
|
|
26
46
|
},
|
|
27
47
|
"files": [
|
|
28
48
|
"dist/lib",
|
|
49
|
+
"dist/browser",
|
|
29
50
|
"dist/types",
|
|
30
51
|
"README.md",
|
|
31
52
|
"README.ja.md",
|
|
@@ -36,13 +57,15 @@
|
|
|
36
57
|
"scripts": {
|
|
37
58
|
"dev": "vite",
|
|
38
59
|
"build:demo": "vite build",
|
|
39
|
-
"build:types": "tsc -p tsconfig.lib.json",
|
|
40
|
-
"build:lib": "
|
|
41
|
-
"build": "npm run build:types && npm run build:lib && npm run build:demo",
|
|
60
|
+
"build:types": "node -e \"import('node:fs').then(fs => fs.rmSync('dist/types', { recursive: true, force: true }))\" && tsc -p tsconfig.lib.json",
|
|
61
|
+
"build:lib": "node scripts/build-library.mjs",
|
|
62
|
+
"build": "npm run build:types && npm run build:lib && npm run build:browser && npm run build:demo",
|
|
42
63
|
"preview": "vite preview",
|
|
43
64
|
"test": "vitest run",
|
|
44
65
|
"test:e2e": "RUN_E2E=1 vitest run test/e2e.test.ts",
|
|
45
|
-
"prepublishOnly": "npm run build:types && npm run build:lib"
|
|
66
|
+
"prepublishOnly": "npm run build:types && npm run build:lib && npm run build:browser",
|
|
67
|
+
"build:browser": "node scripts/build-browser.mjs",
|
|
68
|
+
"test:distribution": "npm run build:types && npm run build:lib && npm run build:browser && node --experimental-vm-modules scripts/check-distribution.mjs"
|
|
46
69
|
},
|
|
47
70
|
"keywords": [
|
|
48
71
|
"optimization",
|
|
@@ -95,6 +118,9 @@
|
|
|
95
118
|
"typescript": "^7.0.2",
|
|
96
119
|
"vite": "^8.3.1",
|
|
97
120
|
"vitest": "^5.0.2",
|
|
121
|
+
"webpack": "^5.111.1",
|
|
98
122
|
"z3-solver": "^5.2.0"
|
|
99
|
-
}
|
|
123
|
+
},
|
|
124
|
+
"jsdelivr": "./dist/browser/washi.min.js",
|
|
125
|
+
"unpkg": "./dist/browser/washi.min.js"
|
|
100
126
|
}
|