modeling - LP/MILP のモデリングに最適なモデリング言語は? (ソルバーではありません)

Question

私は Gurobi ライセンスを持っており、優れた MILP/LP モデリング言語を求めています。

1. フリー/オープンソース

2. 直感的、つまり次のように見えるもの (MiniZinc から取得)

   var int: x; 制約 x >= 0.5; x の最小化を解決します。

3. 高速: モデルを構築して Gurobi に送信する時間は、最良のもの (AMPL GAMS など) と同様の順序である必要があります。

4. 柔軟/強力 (3D+ 配列を処理する機能、制約を簡単にアクティブ化/非アクティブ化する機能、ソルバーに初期ソリューションを提供する機能など)

もちろん、間違っていたら訂正してください。AMPL GAMS は 1) で失敗し、Python と R は 2) で失敗します (そしておそらく 3) で失敗します)。

GLPK、Minizinc、ZIMPLなどはいかがですか？1) と 2) は満たしていますが、3) と 4) はどうでしょうか。この点でAMPLと同じくらい優れていますか? そうでない場合、1～4を満たすモデリング言語はありますか?