在优化函数是用另一种语言定义的情况下，是否可以从MiniZinc脚本调用Prolog (或另一种语言)？
例如，可以很容易地通过MiniZinc Python包从python中调用MiniZinc。有没有一个接口可以做相反的事情(从MiniZinc调用Python )？
浏览 21提问于2020-05-06得票数 2
回答已采纳
我是Minizinc的新手，我面临着一个问题。是否有任何方法在不更改MiniZinc文件的情况下命名.dzn文件中的整数？
非常感谢
浏览 3提问于2020-07-14得票数 0
回答已采纳
我正在和Minizinc一起做一个高中课程表项目。我有一个教师、班级、房间、时间和事件的列表，它们都是字符串类型的，还有一个整数类型的持续时间列表。
浏览 1提问于2015-11-30得票数 1
1回答
我通过anaconda prompt在python上安装了minizinc，就像安装其他包一样。 pip install minizinc 程序包显示它已成功安装，我可以导入模块。from minizinc import Instance, Model, Solver 我得到了下面的导入错误： ImportError: cannot import name 'Instance' from 'minizinc'
(C:\ProgramData\Anacond
浏览 16提问于2020-07-21得票数 2
回答已采纳
.;如果第二组约束是应用于第一次solve，操作结果的约束，那么单独执行操作将减少搜索空间，从而减少计算时间，这也是我首先提出这种结构的原因。因为MiniZinc不允许两个solve。
浏览 0提问于2017-05-05得票数 0
回答已采纳
a=[1,2,3]; 我将运行minizinc python包，如下所示 import minizinc as minizincfrom minizinc import dzn,Model,Solver
D1=dzn(".
浏览 40提问于2020-04-29得票数 2
回答已采纳
1回答
本文利用MiniZinc给出了一个求解某一优化问题的MILP模型。我从10个实例中最优地解决10个实例。一位顾问对此进行了回顾，并提到了以下2条评论：
出于什么原因，你
浏览 6提问于2020-04-28得票数 2
回答已采纳
我正在熟悉MiniZinc的基础知识。因此，我用MiniZinc IDE编写了一些代码片段，如string: s2 = "world";
报告
浏览 3提问于2015-01-22得票数 2
回答已采纳
2回答
试着学习minizinc，但是在看完示例之后，我可以确认如果我想获得多个输出，或者有一种更“自然到最小”的方法来获得它，我就必须编写一些过程语言。如何找到其他的答案？谢谢你事先给我的建议。
我查看了minizinc 1.6的一篇文章，它似乎说忽略了输出语句将产生所有的输出()。它不起作用。只有一个是输出。
浏览 7提问于2016-03-26得票数 4
回答已采纳
1回答
我正尝试在Ubuntu上运行一个使用minizinc模块的Python脚本。RuntimeWarning: MiniZinc was not found on the system.No default driver could be initialized.
minizinc模块文档警告了Linux系统上的这个错误，并指出可以使用minizinc.find_driver()函数手动提供驱动程序的路径
浏览 8提问于2021-05-06得票数 0
我试图在MiniZinc中使用字符串连接运算符定义一个约束，解决变量a和b的问题。constraint("var1/var2" = (a ++ "/" ++ b));
output ["\nx=", show(a)];MiniZincoperator found with left-hand side type `string' and right-hand side type `var string&#x
浏览 4提问于2015-07-01得票数 3
回答已采纳
num] of int:value__ =[ trace(show(fix(value[i])), fix(value[i])) | i in index_set(value)] ;MiniZincwith i = 1 in call 'fix'我的问题是：3)如何将v
浏览 0提问于2018-10-08得票数 0
1回答
我已经成功地将minizinc集成到一个工作流中
解析并解释解决方案。基本上，5000项中的每一项都有一个标签(在大约100个可能的标签中)，我尝试(以及其他目标)最大限度地增加不同标签的数量( non_zero_label var )。我希望minizinc在编译MPS文件方面非常有效，但是也许我可以通过利用实例的重复结构来加快速度？/share/mi
浏览 1提问于2018-05-28得票数 1
回答已采纳
我试图连接VHDL模块的输出整数端口到信号。这个信号将连接其他模块。(这个模块用Verilog写)。但我遇到了这个
错误:在跨语言边界的组件实例化中不支持VHDL整数数据类型。
浏览 9提问于2019-09-23得票数 0
回答已采纳
我想知道是否可以使用Python接口创建一个MiniZinc模型。正如我在文档中看到的，您可以将模型作为字符串添加，但这与您随后调用的外部MiniZinc文件没有什么不同。
浏览 8提问于2021-04-25得票数 1
我正在建立一个小的网络接口到一个数据库，将运行在一个Pogoplug Pro (128MB内存)。该应用程序不太可能同时拥有超过四到五个用户，并将以sqlite作为数据库后端运行。出于其他原因，不能选择启用交换。或者我应该尝试使用更轻量级的语言，比如Python？
浏览 0提问于2012-03-02得票数 0
在研究RTNETLINK时，我知道如果在内核空间添加/删除接口，内核将发送RTM_ADDLINK或RTM_DELLINK。
浏览 0提问于2017-03-12得票数 0
回答已采纳
我正在尝试在MiniZinc中实现higher-order functions。我不确定是否可以将一个函数直接传递给另一个函数，所以我使用了一个带有函数名列表的枚举： var int : a;
function var有没有其他方法可以在MiniZinc中实现高阶函数？
浏览 16提问于2019-06-10得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
