Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
「array[1..10000000] of int: A;」などの大きな配列をモデル化する方法 デフォルト値として多くの 0 があります。データファイルのサイズを小さくするために、MiniZinc に「デフォルト」値を指定する方法はありますか?