@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.
Files changed (59) hide show
  1. package/README.ja.md +103 -421
  2. package/README.md +103 -421
  3. package/README.zh-CN.md +103 -421
  4. package/THIRD_PARTY_LICENSES.md +5 -3
  5. package/dist/browser/solvers/glpk.js +2 -2
  6. package/dist/browser/solvers/glpk.min.js +1 -1
  7. package/dist/browser/washi.js +777 -261
  8. package/dist/browser/washi.min.js +3 -3
  9. package/dist/lib/{registry-C20sxTwm.js → registry-D7TZ3Wh_.js} +88 -18
  10. package/dist/lib/solvers/glpk.js +3 -3
  11. package/dist/lib/solvers/z3.js +1 -1
  12. package/dist/lib/washi.js +864 -421
  13. package/dist/types/index.d.ts +1 -1
  14. package/dist/types/index.d.ts.map +1 -1
  15. package/dist/types/modeler/expression.d.ts +47 -26
  16. package/dist/types/modeler/expression.d.ts.map +1 -1
  17. package/dist/types/modeler/index.d.ts +2 -2
  18. package/dist/types/modeler/index.d.ts.map +1 -1
  19. package/dist/types/modeler/model.d.ts +12 -6
  20. package/dist/types/modeler/model.d.ts.map +1 -1
  21. package/dist/types/modeler/parser.d.ts +25 -5
  22. package/dist/types/modeler/parser.d.ts.map +1 -1
  23. package/dist/types/modeler/solvers/glpk/solver.d.ts.map +1 -1
  24. package/dist/types/modeler/solvers/highs/solver.d.ts.map +1 -1
  25. package/dist/types/modeler/solvers/highs/worker-client.d.ts.map +1 -1
  26. package/dist/types/modeler/solvers/types.d.ts +2 -0
  27. package/dist/types/modeler/solvers/types.d.ts.map +1 -1
  28. package/docs/examples/diet-sensitivity.md +15 -14
  29. package/docs/examples/ecommerce-coupons.md +15 -22
  30. package/docs/examples/index.md +14 -12
  31. package/docs/examples/knapsack.md +8 -7
  32. package/docs/examples/portfolio-qp.md +11 -4
  33. package/docs/examples/production.md +4 -4
  34. package/docs/examples/shift-scheduling.md +20 -7
  35. package/docs/examples/smt-security.md +16 -4
  36. package/docs/examples/transportation.md +46 -19
  37. package/docs/examples/traveling-salesperson.md +28 -44
  38. package/docs/examples/unsat-core.md +15 -5
  39. package/docs/examples/vehicle-routing.md +10 -8
  40. package/docs/getting-started/ai-agents.md +25 -14
  41. package/docs/getting-started/cross-origin.md +56 -28
  42. package/docs/getting-started/index.md +40 -69
  43. package/docs/getting-started/runtimes.md +66 -61
  44. package/docs/guide/constraints.md +46 -40
  45. package/docs/guide/decomposition.md +127 -259
  46. package/docs/guide/expressions.md +90 -39
  47. package/docs/guide/formulation-tips.md +212 -0
  48. package/docs/guide/objectives.md +7 -4
  49. package/docs/guide/unsat-core.md +18 -6
  50. package/docs/guide/variables.md +33 -38
  51. package/docs/ja/getting-started/ai-agents.md +24 -14
  52. package/docs/solvers/highs.md +27 -6
  53. package/docs/solvers/index.md +1 -1
  54. package/docs/solvers/z3.md +3 -0
  55. package/docs/zh/getting-started/ai-agents.md +24 -14
  56. package/llms-full.txt +929 -687
  57. package/llms.txt +21 -19
  58. package/package.json +3 -3
  59. package/skills/washi/SKILL.md +14 -10
@@ -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 & Mixed-Integer Programming Engine (WebAssembly)
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 ERGO-Code / HiGHS developers
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
- Le(F, n ? n.name : e, Math.abs(t) < 1e-9 ? 0 : t);
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;