通过 MiniZinc 模型求解约束满足与优化问题，快速获得可行方案和最优结果。
Run JavaScript and TypeScript in sandboxed V8 isolates with policy-controlled host capabilities.
