案例展示

体验基于浏览器端 WebAssembly 本地运行的交互式 Playground、实际业务决策应用与数理优化益智游戏。

⚡ Playground

⚡HiGHS · Z3 · GLPK

在浏览器中使用 TypeScript / JavaScript 构建 LP、MIP、凸 QP 与 SMT 模型，并通过 HiGHS、Z3 和 GLPK 即时求解。内置丰富预设案例、LP/SMT-LIB 导出检查、灵敏度分析与 Z3 unsatCore 冲突诊断。

🏥Gemini Nano × HiGHS MILP

结合浏览器内置 AI（Gemini Nano）自然语言排班规则提取与 WaSHI × HiGHS 混合整数规划，在本地秒级完成 30 人 × 1 个月三班倒排班优化与冲突诊断。

🎓Gemini Nano × HiGHS MILP

同时协调大一至大四4张年级课表、10位专任/外聘教师出勤表与7间专业教室。支持通过 Gemini Nano 自然语言添加复杂排课约束，并由 WaSHI (HiGHS) 秒级求解与诊断冲突。

🏰据点防卫排班益智游戏

与参谋莉莉丝一起，从昼夜不停进军的勇者军手中守卫魔王城的排班解谜游戏。兼顾每位成员擅长的时段与休息规则，在不让任何人过度劳累的前提下守住城门。

🐑牧场围栏益智游戏

仅用有限数量的木栅栏阻断饥饿野狼的入侵路线，同时让小羊莫可能够散步的安全牧场包含尽可能多的野草莓并填平或避开坑洞。

⚡二维装箱 MILP

在最尖端钛合金加工车间，与质检无人机UNIT-74一起将订单零件严丝合缝地填满母材平板。达成零边角料废料与零通断层的一刀切完美切割。