問題タブ [gecode]

適切な順序付けのために、int_search ステートメントを使用して var 変数を含む大きな minizinc モデルを作成しました。fix(var variables) ステートメントを使用して変数値を出力する出力ステートメントが含まれており、組み込み関数 sum、bool2int などを使用するいくつかの関数が含まれています。長い時間（たとえば、5〜6分）ですが、ランタイム/ソルブタイム（デフォルトではソルバーの出力情報）は20秒しか表示されません。なぜこの奇妙なことが起こっているのですか？出力文にも時間がかかるからでしょうか。しかし、変数はその時点で修正されました。では、なぜそうなったのでしょうか?

ビルトイン Gecode 6.1.1 で minizinc を使用しており、max int 32 よりもはるかに大きい値で目的関数を最大化したいと考えています。32 ビットの整数の最大値は 2147483646 です。多くの情報はないようですが、minizinc の参照で整数の最大値に関連して利用できるようにします。ただし、次のテストは、Minizinc が 32 ビット整数を使用していることを示しています。

テストは非常に単純で、var int を最大化しようとするだけです。

結果は

maxInt = 2147483646

結果は int32 の最大値に近く、miniZinc はそれ以上「最大化」できないようです。次の例では、奇妙なエラーが返されます。

エラーメッセージは次のとおりです。エラー メッセージはあまり有益ではありませんが、2147483646 より大きい数値を使用しようとすると表示されます。

エラー: 行番号の整数リテラルが無効です。2 エラー: 構文エラー、予期しない ',' 行番号。2 プロセスはゼロ以外の終了コード 1 で終了しました

私の質問は次のとおりです: int64 ビット整数またはその他の大きな整数表現を minizinc で使用できますか? （フロートの使用はオプションではありません）理想的には、何かを最大化する方法の例が欲しいです