@ohtaman/washi 0.6.0 → 0.7.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 +103 -421
- package/README.md +103 -421
- package/README.zh-CN.md +103 -421
- package/THIRD_PARTY_LICENSES.md +5 -3
- package/dist/browser/solvers/glpk.js +2 -2
- package/dist/browser/solvers/glpk.min.js +1 -1
- package/dist/browser/washi.js +777 -261
- package/dist/browser/washi.min.js +3 -3
- package/dist/lib/{registry-C20sxTwm.js → registry-D7TZ3Wh_.js} +88 -18
- package/dist/lib/solvers/glpk.js +3 -3
- package/dist/lib/solvers/z3.js +1 -1
- package/dist/lib/washi.js +864 -421
- package/dist/types/index.d.ts +1 -1
- package/dist/types/index.d.ts.map +1 -1
- package/dist/types/modeler/expression.d.ts +47 -26
- package/dist/types/modeler/expression.d.ts.map +1 -1
- package/dist/types/modeler/index.d.ts +2 -2
- package/dist/types/modeler/index.d.ts.map +1 -1
- package/dist/types/modeler/model.d.ts +12 -6
- package/dist/types/modeler/model.d.ts.map +1 -1
- package/dist/types/modeler/parser.d.ts +25 -5
- package/dist/types/modeler/parser.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.map +1 -1
- package/dist/types/modeler/solvers/highs/worker-client.d.ts.map +1 -1
- package/dist/types/modeler/solvers/types.d.ts +2 -0
- package/dist/types/modeler/solvers/types.d.ts.map +1 -1
- package/docs/examples/diet-sensitivity.md +15 -14
- package/docs/examples/ecommerce-coupons.md +15 -22
- package/docs/examples/index.md +14 -12
- package/docs/examples/knapsack.md +8 -7
- package/docs/examples/portfolio-qp.md +11 -4
- package/docs/examples/production.md +4 -4
- package/docs/examples/shift-scheduling.md +20 -7
- package/docs/examples/smt-security.md +16 -4
- package/docs/examples/transportation.md +46 -19
- package/docs/examples/traveling-salesperson.md +28 -44
- package/docs/examples/unsat-core.md +15 -5
- package/docs/examples/vehicle-routing.md +10 -8
- package/docs/getting-started/ai-agents.md +25 -14
- package/docs/getting-started/cross-origin.md +56 -28
- package/docs/getting-started/index.md +40 -69
- package/docs/getting-started/runtimes.md +66 -61
- package/docs/guide/constraints.md +46 -40
- package/docs/guide/decomposition.md +127 -259
- package/docs/guide/expressions.md +90 -39
- package/docs/guide/formulation-tips.md +212 -0
- package/docs/guide/objectives.md +7 -4
- package/docs/guide/unsat-core.md +18 -6
- package/docs/guide/variables.md +33 -38
- package/docs/ja/getting-started/ai-agents.md +24 -14
- package/docs/solvers/highs.md +27 -6
- package/docs/solvers/index.md +1 -1
- package/docs/solvers/z3.md +3 -0
- package/docs/zh/getting-started/ai-agents.md +24 -14
- package/llms-full.txt +929 -687
- package/llms.txt +21 -19
- package/package.json +3 -3
- package/skills/washi/SKILL.md +14 -10
package/THIRD_PARTY_LICENSES.md
CHANGED
|
@@ -8,15 +8,17 @@ Depending on the solver you choose at runtime, WaSHI interacts with the followin
|
|
|
8
8
|
|
|
9
9
|
## 1. HiGHS (Default Solver)
|
|
10
10
|
|
|
11
|
-
- **Role**: Default Linear
|
|
11
|
+
- **Role**: Default Linear, Mixed-Integer & Convex Quadratic Programming Engine (WebAssembly)
|
|
12
12
|
- **License**: **MIT License**
|
|
13
|
+
- **Official Website**: [https://highs.dev/](https://highs.dev/)
|
|
13
14
|
- **Upstream Repository**: [ERGO-Code/HiGHS](https://github.com/ERGO-Code/HiGHS)
|
|
14
|
-
- **Compilation**: Directly compiled from official upstream source to WebAssembly via native C API (`highs_c_api.h`)
|
|
15
|
+
- **Compilation**: Directly compiled from official upstream source (`v1.15.1`, pure MIT build without optional METIS/AMD/BLAS dependencies) to WebAssembly via native C API (`highs_c_api.h`)
|
|
16
|
+
- **Embedded Third-Party Notices**: Upstream HiGHS includes permissive header-only components (such as `filereaderlp` and `pdqsort`); see upstream [`THIRD_PARTY_NOTICES.md`](https://github.com/ERGO-Code/HiGHS/blob/v1.15.1/THIRD_PARTY_NOTICES.md) for full details.
|
|
15
17
|
|
|
16
18
|
```text
|
|
17
19
|
MIT License
|
|
18
20
|
|
|
19
|
-
Copyright (c) 2026
|
|
21
|
+
Copyright (c) 2026 HiGHS
|
|
20
22
|
|
|
21
23
|
Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
22
24
|
of this software and associated documentation files (the "Software"), to deal
|
|
@@ -1151,8 +1151,8 @@ var Re = class e {
|
|
|
1151
1151
|
I = !1;
|
|
1152
1152
|
break;
|
|
1153
1153
|
}
|
|
1154
|
-
let n = l.get(e);
|
|
1155
|
-
|
|
1154
|
+
let n = l.get(e), r = n ? n.name : e, i = Math.abs(t) < 1e-9 ? 0 : t;
|
|
1155
|
+
!s.relax && n && (n.type === "Integer" || n.type === "Binary") && Math.abs(i - Math.round(i)) <= 1e-5 && (i = Math.round(i) + 0), Le(F, r, i);
|
|
1156
1156
|
}
|
|
1157
1157
|
if (I) for (let t of e.variables) {
|
|
1158
1158
|
let e = u.get(t) || t.name;
|