Minizinc:创建int对的数组
Minizinc是一种约束编程语言，用于建模和求解各种优化问题。它支持创建int对的数组，即由整数对组成的数组。
在Minizinc中，可以使用以下语法来创建int对的数组：
array[int] of var int: myArray;上述代码创建了一个名为myArray的数组，其中每个元素都是一个int对。这意味着myArray可以存储多个整数对，并且可以在求解过程中对其进行约束和操作。
使用int对的数组可以解决许多问题，例如图论问题中的边集表示、调度问题中的任务和资源分配等。通过将问题建模为约束问题，并使用Minizinc的约束求解器，可以找到满足约束条件的最优解。
在腾讯云中，没有直接与Minizinc相关的产品或服务。然而，腾讯云提供了一系列云计算产品和解决方案，可以满足各种需求，包括虚拟机、容器服务、数据库、人工智能、物联网等。您可以访问腾讯云官方网站（https://cloud.tencent.com/）了解更多信息。
相关·内容
创建包含n个int对的数组的Minizinc语法是什么：
{(x1，y1)，(x2，y2)，....(xn，yn)}
我如何访问一个特定的元素j来获得，例如，它的y值？
浏览 9提问于2017-02-16得票数 1
回答已采纳
2回答
我使用node.js模块“治理CSP工具”来解决CSP问题。按照如何从CSP模型模式()定义数组的说明，我尝试了JSON中的多个表示，但仍然出现了错误：
数组: Ingredient_1= 30，30，30，15,15，5，
5，5，1；^ Error:语法错误，意外的':'，期待[
我的javascript代码是：
var Reasoner = require("governify-csp-tools").Reasoner;
var cspModel = {
"parameters":[
{
浏览 0提问于2018-10-22得票数 2
回答已采纳
问题是
给定一个MiniZinc字符串数组：
int: numStats;
set of int: Stats = 1..numStats;
array[Stats] of string: statNames;
..。使用从MiniZinc数据文件加载的数据：
numStats = 3;
statNames = ["HEALTH", "ARMOR", "MANA"];
如何查找数组中特定字符串的索引？例如，该装甲位于位置2。
上下文
我需要找到一个关于他们的统计数据的一些约束的项目的最佳选择。此信息存储在声明如下的二维数组中：
int: numI
浏览 1提问于2016-03-03得票数 3
我正在熟悉MiniZinc的基础知识。因此，我用MiniZinc IDE编写了一些代码片段，如
solve satisfy;
string: s1 = "hello";
string: s2 = "world";
function list of int: cdr(list of int: v) =
[v[i] | i in 1..length(v)];
function list of string: cdr(list of string: v) =
[v[i] | i in 1..length(v)];
function string: con
浏览 3提问于2015-01-22得票数 2
回答已采纳
我正在尝试编写一个谓词，该谓词执行与circuit相同的操作，但忽略数组中的零，并且一直得到以下错误：
MiniZinc: type error: initialisation value for 'x_without_0' has invalid type-inst: expected 'array[int] of int', actual 'array[int] of var opt int'
在守则中：
% [0,5,2,0,7,0,3,0] -> true
% [0,5,2,0,4,0,3,0] -> false (no ci
浏览 0提问于2016-02-17得票数 5
回答已采纳
Jupyter/Linux下的MiniZinc中的输出命令没有执行。
运行时：
%%minizinc
var int: one_var;
constraint one_var = 1;
solve satisfy;
output ["my var = \(2*one_var)\n"];
我得到了
{'one_var'：1}，这是标准MiniZinc变量的输出，
而不是
我的变量=2
感谢Ido
浏览 1提问于2018-12-18得票数 0
我有一个2d网格，其中某些单元格值产生不同的分数，我想通过给单元格分配值来最大化分数。在求解过程中，是否有可能跟踪求解者尝试过的每个网格？下面是模型的一个片段，只是为了演示这个想法。
int: i_count;
int: e_count;
set of 1..3: ROW;
set of 1..3: COL;
enum CELL = { U, I, E };
array[ROW,COL] of var CELL: grid;
constraint sum(r in ROW, c in COL)(grid[r, c] = I) <= i_count;
constraint sum(
浏览 3提问于2020-11-15得票数 3
回答已采纳
如何对一个大型数组进行建模，例如"array1..10000000 of int: A;“，它有很多0作为默认值。有没有办法将“默认”值指定为MiniZinc，以减小数据文件的大小？
浏览 0提问于2015-10-15得票数 0
1回答
关于选项类型，Minizinc的 (秒)。6.6.3)说：
概述。使用opt类型构造函数定义的选项类型，定义可能存在或不存在的类型。它们类似于Haskell隐式的可能类型，向该类型添加了一个新的值<>。
..。
初始化。opt类型变量不需要在实例时间初始化。未初始化的opt类型变量自动初始化为<>。
我想用两种opt类型解析和处理以下约束：
predicate alternative(var opt int: s0, var int: d0,
array[int] of var opt int: s,
浏览 5提问于2017-11-02得票数 0
回答已采纳
让这个简单的模型 int: n=2;
array [0..(n-1)] of var 0..1 : A_;
array [0..(n-1)] of var 0..1 : B_;
array [0..(n-1)] of var 0..1 : C_;
constraint forall (j in 0..n-1) (
A_[j] + B_[j] = C_[j]
); 这个模型有解决方案 solution 1:
A_ = array1d(0..1, [0, 0]);
B_ = array1d(0..1, [1, 1]);
C_ = array1d(0..1, [1, 1]);
--------
浏览 20提问于2021-08-29得票数 0
1回答
我正在尝试创建一个返回矩阵中当前访问行的索引值的MiniZinc函数，但是我不知道怎么做，因为我对MiniZinc非常陌生，所以代码可能包含一些错误。 代码将如下所示： function int: to_Index(array[totVert][4] of int: matrix, int: pid, int: vert, set of int: TOT_VERT) =
forall(int: i in TOT_VERT)
(if matrix[i][0] == pid /\ matrix[i][1] == vert then
% here I would return
浏览 11提问于2020-01-14得票数 0
我试图在MiniZinc中使用字符串连接运算符定义一个约束，解决变量a和b的问题。
include "disjunctive.mzn";
var string:a;
var string:b;
constraint("var1/var2" = (a ++ "/" ++ b));
solve satisfy;
output ["\nx=", show(a)];
尽管如此，这似乎是语法错误：
MiniZinc: type error: type error in operator application for `++'.
浏览 4提问于2015-07-01得票数 3
回答已采纳
我有一个Minizinc程序，为电网连接的电池产生最佳的充放电计划，给出一组按时间间隔的价格。
我的程序可以工作(某种程度上来说，除了一些注意事项外)，但我的问题是关于两个“约束”语句，它们实际上只是赋值语句：
constraint forall(t in 2..T)(MW_SETPOINT[t-1] - SALE[t] = MW_SETPOINT[t]);
constraint forall(t in 1..T)(PROFIT[t] = SALE[t] * PRICE[t]);
这就意味着能源SALES是从t-1到1的MW_SETPOINT中的增量，而PROFIT是SALE * PRICE的
浏览 3提问于2020-04-08得票数 3
回答已采纳
我有一个包含3个变量数组的MiniZinc程序，其形式如下：
array[NbLines] of var Domain: vars1;
array[NbLines, NbRows] of var Domain: vars2;
array[NbLines, NbRows] of var Domain: vars3;
我需要以以下方式指定我的搜索变量顺序，但是我没有成功地正确构造我的数组。有类似于MiniZinc的代码：
varsOrder = [[vars1[i]] ++ row(vars2, i) ++ row(vars3, i) | i in NbLines]
MiniZinc表示数组理解表
浏览 2提问于2017-01-28得票数 1
回答已采纳
我正在尝试在MiniZinc中实现higher-order functions。我不确定是否可以将一个函数直接传递给另一个函数，所以我使用了一个带有函数名列表的枚举： var int : a;
enum functions = {add,sub};
function var int:sub(var int:a,var int:b) =
a+b;
function var int:add(var int:a,var int:b) =
a+b;
function var int:higher_order(var functions:func,var int:a,va
浏览 16提问于2019-06-10得票数 1
我正处于学习MiniZinc的开始阶段，我想在不看代码的情况下完成MiniZinc教程中提供的laplace.mzn示例。我最初的尝试，如下面的代码块1所示，提供了正确的答案。我想尝试通过在show_float()函数中设置硬编码值6来推广输出语句，该函数指定输出中的每个浮点数都应该用6位数字右对齐(即找到t中的最大值并以此为基础计算输出宽度)。
我的第一次尝试是在代码块2中添加语句，但收到以下错误: MiniZinc: evaluation error：
laplace.mzn:28：
在'm‘的变量声明中
在调用'max‘时
/home/str/MiniZinc/share
浏览 4提问于2017-12-22得票数 0
假设我有以下代码，它将输出assert语句，因为条件不满足。
int: x =40;
var int:y;
constraint y=x;
现在假设我从一个数据文件中获得了x的值，用户可以从他们那输入任何值。但我限制用户只输入正数到x。(x不能是负数)。
constraint assert(x>=0,"Please enter a positive value to X");
solve satisfy;
想象一下用户输入-2，所以它将输出上面的语句。我需要用上面的语句打印日期和时间。(至少时间).Is在minizinc中有任何方法可以做到这一点。
浏览 10提问于2020-06-08得票数 0
回答已采纳
关于Minizinc的语法，我有一个简单的问题。我的输入.dzn文件包含一组二维数组(大约30个数组)，声明如下：
rates_index_0 = array2d(1..3, 1..501, [ 15, 20, 23, ....
rates_index_12 = array2d(1..3, 1..501, [ 21, 24, 27, ....
...
注:索引号有空白(例如，12 -> 20)
在我的模型中，我需要根据变量的值使用其中的一个数组。在通用编程语言中，我会使用地图或字典数据结构来解决这个问题。但在Minizinc中，我用以下方式对其进行硬编码：
function var in
浏览 0提问于2017-09-17得票数 4
回答已采纳
我想将一个大输入数组的初始化分割成更小的块(只是为了可读性)。我试过这个：
array[1..3,1..2] of int: arr;
% This works:
% arr = array2d(1..3,1..2, [0,0,2,2,3,3]);
% But this not:
arr[1] = [0,0];
arr[2] = [2,2];
arr[3] = [3,3];
constraint true;
solve satisfy;
当我运行这段代码时，我会得到一个语法错误：
arr[1] = [0,0];
^
Error: syntax error, unexpect
浏览 1提问于2018-06-18得票数 2
回答已采纳
在编写MiniZinc模型时，我经常这样声明多个变量：
var int: dog;
var int: cat;
var int: bird;
var int: mammal;
var int: horse;
我试图在一行中声明所有这些变量，但它产生了一个语法错误：
var int: dog, cat, bird, mammal, horse;
是否有可能用一条语句以更简洁的方式声明所有这些变量？
浏览 1提问于2015-11-14得票数 0
在使用本机python接口时，我试图通过python调用MiniZinc。
该接口是working，在Ubuntu下，但不在Win10中。
我正在使用的代码如下所示，可在MiniZinc 的官方网站上找到
我已经创建了nqueens.mzn文件并将其添加到项目的目录中。
我得到的错误如下：
Traceback (most recent call last):
File "C:/Users/Sallo/PycharmProjects/MiniZincTest/main.py", line 11, in <module>
result = instance.
浏览 2提问于2020-01-12得票数 2
解决方案(来自)：
enum ITEM = { I1, I2, I3, I4, I5 };
int: capacity = 5;
array[ITEM] of int: profits = [1,2,3,4,5];
array[ITEM] of int: weights = [1,2,3,4,5];
int: maxProfit = sum (profits);
var set of ITEM: knapsack;
var int: weight = sum ([weights[i] | i in knapsack]);
var int: profit = sum ([profits[
浏览 2提问于2021-10-12得票数 0
回答已采纳
我希望在MiniZinc中使用相同的项创建两个数组，而不一定是按照相同的顺序。在这里，A0中的每一项都应该在A1中
array[1..3] of var int:A0;
array[1..3] of var int:A1;
constraint forall(A2 in A0)(
(A2 in A1) /\ A2 < 5
);
但在这里，似乎存在一个类型错误：
MiniZinc: type error: type error in operator application for `'in''. No matching operator found wit
浏览 9提问于2020-02-05得票数 2
回答已采纳
1回答
我如何在MiniZinc中声明一个数组，类似于下面的Java代码，其中2D数组的第二维大小对所有对象都不相同？
int numV=5
int[] numActs=new int[numV];
double[][] min=new double[numV][];
for(int i=0;i<numV;i++){
for(int j=0;j<numActs[i];j++){
min[i][j]=<some value>;
}
}
浏览 15提问于2017-08-13得票数 1
回答已采纳
假设我有一个名为abc.mzn的.mzn文件，它如下所示。 array[1..3] of int:a;
output[show(a)]; 现在我有一个名为cde.dzn的.dzn文件，它如下所示。 a=[1,2,3]; 我将运行minizinc python包，如下所示 import minizinc as minizinc
from minizinc import Instance,Model,Solver
x=Solver.lookup("geocode")
M1=Model("./abc.mzn")
instance1=Instance(x,M1)
浏览 40提问于2020-04-29得票数 2
回答已采纳
我在高尔夫球手的问题上有很多种(每周都应该有一个小组，这样两名球员不能在一起玩一次，每个人每周都打一次)：
int: gr; %number of groups
set of int: G=1..gr;
int: sz; %size of groups
set of int: S=1..sz;
int: n=gr*sz; %number of players
set of int: P=1..n;
int: we; % number of weeks
set of int: W=1..we;
include "globals.mzn";
array[G,W] of var
浏览 7提问于2016-11-05得票数 0
回答已采纳
我希望使用minizinc来解决优化问题。我正在通过细胞魔术在木星笔记本上使用它，如下所示。
对于下面这个简单的二次方程，当我单独使用-a标志时，我得到了输出中x的所有可能的解。
%load_ext iminizinc
a=1
b=4
c=0
%%minizinc -a
include "gecode.mzn";
var -100..100: x;
int: a; int: b; int: c;
constraint a*(x*x) + b*x = c;
solve satisfy;
[Out]: [{'x': -4}, {'x': 0}]
但
浏览 2提问于2021-04-21得票数 1
回答已采纳
我不知道为什么我的代码在Minizinc不起作用..。你能帮帮我吗?这是错误，但我认为还有另一个错误: MiniZinc:语法错误:语法错误，意外的如果，期待文件的结束
array [1..n, 1..2] of 1..n: cards;
var int: M1;
var int: M2;
var int: m1;
include "globals.mzn";
constraint(M1 < m1);
constraint(M2 > m1);
constraint(M2 - M1 > d);
constraint alldifferent (
浏览 10提问于2022-03-22得票数 0
我正在尝试使用minizinc进行第一次约束编程。我正在尝试创建一个带有n插槽和n人员的计划，为每个时隙分配一个不同的人。我使用一个array of var int来建模时间表，使用alldifferent()来确保每个时隙中有一个不同的人。array of size n，names包含它们的名称，如下所示：
% Pseudo enum
set of int: NameIndex = 1..2;
int: Forename = 1;
int: Surname = 2;
int: n = 4; % Number of slots and people
set of int: slots = 1
浏览 2提问于2016-10-24得票数 1
回答已采纳
2回答
这是我想在Minizinc中做的一件非常简单的事情。我有一个整数值数组，我想知道其中最常见的值出现的次数。我不知道该怎么做。我希望有人能帮上忙。
浏览 2提问于2020-07-06得票数 1
这似乎是一个简单的问题，但我找不到用MiniZinc表示这个问题的简单方法。
include "globals.mzn";
int: target;
int: max_length;
var 1..max_length: length;
array[1..length] of int: t;
constraint sum(t) = target;
constraint alldifferent(t);
solve minimize length;
此程序错误有：MiniZinc: type error: type-inst must be par set but is
浏览 1提问于2020-07-10得票数 3
回答已采纳
我是一个MiniZinc新手，试图通过使用数组来概括MiniZinc教程中用于绘制澳大利亚地图颜色的玩具程序。
下面是我的两个数组声明的程序：
% Colouring Australia using nc colours
int: nc = 3; /* number of colours */
int: ns = 7; % number of states
% I added these 2 lines, and changed nothing else so far
array[1..ns] of string: names = ["wa","nt
浏览 1提问于2017-03-16得票数 0
回答已采纳
1回答
pip说minizinc已经安装了，但当我尝试在代码中调用它时，它给我一个错误，说它没有安装。 (backend) bash-3.2$ python
Python 3.8.3 (default, Jul 2 2020, 11:26:31)
[Clang 10.0.0 ] :: Anaconda, Inc. on darwin
Type "help", "copyright", "credits" or "license" for more information.
>>> from minizinc imp
浏览 36提问于2021-03-30得票数 0
回答已采纳
我想要解决这个问题:我有一个数字n，我想有一个数组，对所有的i，j都是1，n中的所有对(i，j)。
我写这个是为了解决这个问题：
include "globals.mzn";
int:n=2;
var 1..:ArrayLenght;
array[1..ArrayLenght,1..2] of var 1..n:X;
constraint forall(i,j in 1..n)(exists(r in 1..ArrayLenght) (X[r,..] == [i,j]));
solve minimize ArrayLenght;
但是我在这行中有一个类型错误type er
浏览 16提问于2022-09-12得票数 0
回答已采纳
1回答
为什么我在MiniZinc中得不到输出？我的程序是这样结束的：
var int: Cost = sum (p in 1 .. nP) (Score [p]);
solve minimize Cost;
output ["Test"];
我得到的所有信息是:运行scheduler.mzn在54毫秒内完成
2/7/15再次发生。下面是精简后的代码：
array[1 .. 2] of var int: D;
array[1 .. 2] of var int: F;
array[1 .. 2] of var int: S;
constraint forall (i in 1 ..
浏览 3提问于2015-02-02得票数 1
我有以下代码： from minizinc import Instance, Model, Solver
MODEL = "model1.mzn"
DATA = "ins-1.dzn"
# Loading the model
model = Model(MODEL)
model.add_file(DATA)
# Find the MiniZinc solver configuration for Gecode
gecode = Solver.lookup("gecode")
# Create an Instance of the mod
浏览 25提问于2021-07-20得票数 0
1回答
我通过anaconda prompt在python上安装了minizinc，就像安装其他包一样。 pip install minizinc 程序包显示它已成功安装，我可以导入模块。但是，我遵循的是基本的示例https://minizinc-python.readthedocs.io/en/latest/getting_started.html#a-basic-example，但是一旦我运行了第一行 from minizinc import Instance, Model, Solver 我得到了下面的导入错误： ImportError: cannot import name '
浏览 16提问于2020-07-21得票数 2
回答已采纳
1回答
我使用带有内置Gecode 6.1.1的minizinc，并且我希望最大化一个目标函数，其值远大于最大值int 32。32位整数的最大值为2147483646。虽然与中整数的最大值相关的信息似乎并不多。然而，下面的测试显示Minizinc使用32位整数。
这个测试非常简单，它只是尝试最大化一个var int。
var int: maxInt;
constraint maxInt>0;
solve maximize maxInt;
output ["maxInt = \(maxInt)"];
结果是
maxInt = 2147483646
结果接近最大int32
浏览 2提问于2019-08-07得票数 2
回答已采纳
我有下面的Minizinc程序，这是一项正在为解决旅行推销员问题(TSP)所做的工作。我知道它所缺少的不仅仅是修复这个错误，但是我仍然想要理解为什么我要得到这个错误。可复制的例子如下：
include "globals.mzn";
% Input Parameters
int: NUM_POINTS;
float: MAX_TOTAL_DISTANCE;
array[0..NUM_POINTS-1] of int: points;
array[0..NUM_POINTS-1, 0..NUM_POINTS-1] of float: distance_matrix;
% De
浏览 1提问于2020-03-16得票数 0
回答已采纳
我有一个项目表与4个功能(名称，价值，成本，人员)。我想在Minizinc中描述一个模型，它选择的项目可以最大化总价值，但总预算为255，我可以在20个项目之间选择几乎9个项目。
我编写了一个数据文件: data.dzn
% name value cost people
data = [
| PRJ0, 6000, 35, 5
| PRJ1, 4000, 34, 3
| PRJ2, 1000, 26, 4
...
| PRJ20,
浏览 3提问于2020-02-15得票数 1
回答已采纳
我想知道是否可以使用Python接口创建一个MiniZinc模型。正如我在文档中看到的，您可以将模型作为字符串添加，但这与您随后调用的外部MiniZinc文件没有什么不同。
我希望创建一个模型，该模型使用依赖于先前计算的变量，因此不是我可以在运行Python代码之前提供的固定值。这有可能吗？
浏览 8提问于2021-04-25得票数 1
1回答
我正在处理一个护士排班问题，该问题的约束是不应该在前一天的夜班之后分配白班给护士。 约束如下所示： ? 移位集合是"set of int: shift=1..7"， int集合: dayshift ={1,3,4}；int集合: dayshift={2,5,6,7}； 如何在minizinc中对此约束进行建模？ 我试过了： constraint
forall(e in Employee, d in Day where d != Day[card(Day)])(
Assign[e, d, sh in NightShfit] + Assign[e, d+1, s
浏览 12提问于2019-09-05得票数 0
我在Minizinc试图解决这个问题，摘自：
十个单元格编号为0，...,9铭刻一个10位数字，以便每个单元格，例如i，表示数字i在这个数字中出现的总数。找到这个号码。答案是6210001000。
我解决了它，代码在Gecode中运行得很好：
int: n=9;
set of int: N=0..n;
array[N] of var N: cell;
include "globals.mzn";
constraint global_cardinality(cell, N, cell);
solve satisfy;
output [show(cell), "
浏览 2提问于2016-02-19得票数 0
回答已采纳
我正在尝试用MiniZinc来探索一个谜语。我有一个称重盘，我需要4磅满足两个限制：
他们的总和是40公斤，它应该能够与他们称重在1到40之间的。
但是第二个限制在我的脑海中被改写为“有一个权重的组合，所以.”在MiniZinc中，这对我来说似乎很难/不适应。是否有一种在MiniZinc中表达此约束的自然方法？
提前感谢！
浏览 5提问于2022-10-05得票数 0
回答已采纳
在我用MiniZincIDE 0.9.9编写的模型中，下面的约束在数组理解期间抛出“无法确定边界”错误：
constraint forall(i in Layers)(
layDists[i] == sum(
[Dists[find(a,b,c,d)] | a in Coords, c in Layers, b in Coords, d in Layers
where coordSolLays[a,c] == i ]));
哪里
array[Coords,Layers] of var Layers: coordSolLays;
array[Layers] of var 0..
浏览 7提问于2015-09-01得票数 0
我试图用MiniZinc来建模一个满意的问题，但是我仍然坚持对这个约束进行编码：
给定两个相同长度的数组A和B，强制A是B的置换
换句话说，我正在寻找一个强制执行[1,2,2]=[1,2,2]和[1,2,2]=[2,2,1]的约束。非正式地说，A和B必须是相等的。对于某些1..n-1，数组都是在同一组整数上定义的，特别是集合n。可以重复A和B中的值(参见示例)。
MiniZinc中是否存在这样的全局约束？谢谢。
浏览 4提问于2022-02-04得票数 0
回答已采纳
听起来很简单，但我还没有找到解决方案。如何获得一维minizinc数组的前(后)n个元素？结果应该是一个数组，这样我就可以应用count ()或sum()。
浏览 30提问于2018-08-14得票数 -2
回答已采纳
3回答
我是CP的新手。到目前为止，我已经和MiniZinc玩过了，我发现这很有趣。
在我做得太多之前，我想弄清楚CP语言和解决程序最好从最活跃的社区开始，积极地开发和使用研究，以及最好的学习资源(示例和教程)。
到目前为止，选择似乎是: MiniZinc、ECLiPSe和或-tools。
谢谢,
浏览 3提问于2015-12-28得票数 2
回答已采纳
1回答
不久前，我正在写一篇或相关的文章以供发表。本文利用MiniZinc给出了一个求解某一优化问题的MILP模型。我从10个实例中最优地解决10个实例。
一位顾问对此进行了回顾，并提到了以下2条评论：
您如何比较MiniZinc与其他最新一代的MILP解决方案，如CPLEX或Gurobi在性能方面？
我一直使用MiniZinc，它对我来说很有效。我如何展示MiniZinc所具有的多功能性？是否有参考书目或证明这一点的方法？
由于MiniZinc不是最著名的MILP求解者之一，所以您应该避免在摘要中提到它的名称。
出于什么原因，你不建议在摘要中提及它？
使用MiniZinc的有
浏览 6提问于2020-04-28得票数 2
回答已采纳
1回答
我正尝试在Ubuntu上运行一个使用minizinc模块的Python脚本。
该脚本在Windows机器上运行良好。然而，当我尝试在Ubuntu上运行相同的脚本时，我得到了以下错误：
RuntimeWarning: MiniZinc was not found on the system. No default driver could be initialized.
minizinc模块文档警告了Linux系统上的这个错误，并指出可以使用minizinc.find_driver()函数手动提供驱动程序的路径。我尝试使用该函数手动设置驱动程序路径，但出现了相同的错误(我可能设置错了)。
我是新
浏览 8提问于2021-05-06得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
