[英]Minizinc - How can I constrain each column of an array to contain only one of a given integer?
我正在嘗試填充10行數組,使每列包含“1”,“2”,“3”和7“0”。 有誰知道怎么做? 我嘗試將列總數限制為等於6但是返回的列有六個,兩個三等等。是否有一個我不知道的“計數”功能? 謝謝!
至少有三個可用於此的約束:
有關MiniZinc 2中支持的全局約束的列表,請參閱https://www.minizinc.org/2.0/doc-lib/doc-globals.html 。計數限制在此處: https : //www.minizinc.org/ 2.0 / DOC-LIB / DOC-全局-counting.html
這里有一個如何使用global_cardinality的例子: http ://hakank.org/minizinc/sudoku_pi.mzn
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.