 | min新しい制約ソルバー |
| 今すぐダウンロード | |
min ランキングとまとめ
広告
min タグ
min 説明
新しい制約ソルバー Minionは新しい制約ソルバーです。標準的なベンチマークに関する経験的結果は、最先端の制約ツールキットにわたる大小パフォーマンス上昇の順序を示しています。これらの利益は問題サイズで増加します。マトリックスモデルを焦点を当てると、リーンで高度に最適化された実装がサポートされています。これは現在の制約ツールキットとは対照的で、これは、より多くのモデル化と解決オプションを提供するために、パフォーマンスと使いやすさのコストでは徐々に複雑になってきました。 。これは、その生速度と組み合わされたもので、PUGETの「モデル」に向けて分実質的な段階を実質的にし、Paradigm.Minionを解決することは依然として開発のベータ段階にあります。バグが期待できます。ただし、報告された後すぐにバグを修正するよう努めています。このリリースの新機能： 誤った回答を生み出した可能性がある次のバグが修正されました。 ・「POW」の制約は、 '0'を含むドメインによって混乱していました。 ・2 ^ 32に近い整数を使用すると、誤った結果が発生することがあります。 変数のない1つのタプルを含むテーブル制約はfalseと見なされました。誤ったエラーを発生させることができなかった次のバグが修正されました。 ・変数を含まないアレイがミニオンを墜落しました。 ・長さ0の配列が与えられたときに多くの制約がクラッシュしました。 タプルの長さが変数の数と等しくない場合、テーブルの制約がクラッシュしました。以下の改善がミニオンに加えられており、その一部は以前のバージョンにあったが、現在は正しく文書化されています。 ・すべての制約を拒否できるようになりました。 ・制約リストの「OR」を算出する効率的な方法が追加されました。 ・AllDiffとGCC（Global Cardinality Constraint）の効率的な実装が追加されました。 ・他の多数のバイナリと一意の制約が追加されました。 ・検索中の変数のドメイン/割り当てを示す（マトリクス内の）基本的なビジュアライザがあります。 ・ミニオンビルドシステムは「Cmake」を使用しています。 ・文書が改善されました。はるかに大きい自動テストスイートに基づいて、他の数の小さな改善と調整ができました。テーラーは標準化された分布の一部ではありません。別途リリースされています。
min 関連ソフトウェア
