时间戳

首页 > 解决方案 > 带有 minizinc npm 的 node.js 上的 Minizinc - 不在 CLI 中时如何定义解决方案选项？

node.js - 带有 minizinc npm 的 node.js 上的 Minizinc - 不在 CLI 中时如何定义解决方案选项？

问题描述

我正在使用以下 npm 包https://www.npmjs.com/package/minizinc但文档没有说明如何输入 cli 字符串/选项，model这可能会改变功能，而不是只返回默认的第一个解决方案.

如果您要努力创建一个 npm 包，为什么要停止在如何实际使用它的说明中投入 0 努力呢？我不明白。

m.solve(model).then((result) => {
  console.log(result);
});

字符串实际上只是model模型，还是可以采用其他参数？也许 Minizinc 手册或教程错过了明确说明模型本身可以声明涵盖 Windows IDE 提供的功能的选项，例如在停止之前说明要显示多少个解决方案？

谢谢！

标签： node.jsnpmminizinc

解决方案

MiniZinc 的节点包可能没有像它应该的那样开发，但它确实提供了一些文档。

的参数solve可以包含参数以及模型实例：

solve(paramsOrCode: string | IModelParams, data?: IDataObject | string, options?: Partial<IMiniZincSolveOptions>): Promise<IResult>;

您似乎想要使用 IModelParams 变体，它可以包括您正在搜索多少解决方案的选项：

export interface IModelParams {
  model: string;
  solver?: string;

  random_seed?: number;
  all_solutions?: boolean;
  free_search?: boolean;
  processes?: number;
  nr_solutions?: number;
}

推荐阅读