min 高速でスケーラブルな制約ソルバー
今すぐダウンロード

min ランキングとまとめ

min タグ

解決する ソルバー 制約 制約ソルバー 制約を解決します 密や解決策

min 説明

高速でスケーラブルな制約ソルバー Minionは、問題のサイズが大きくなるにつれて非常に速く、スケールである新しい制約ソルバーです。標準的なベンチマークに関する経験的結果は、最先端の制約ツールキットにわたる大小パフォーマンス上昇の順序を示しています。これらの利益は問題サイズで増加します。マトリックスモデルを焦点を当てると、リーンで高度に最適化された実装がサポートされています。これは現在の制約ツールキットとは対照的であり、これはより多くのモデル化および解決のオプションを提供するために、パフォーマンスと使いやすさのコストでは徐々に複雑になってきました。非常に少数のオプション。これは、その生速度と組み合わされたもので、PUGETの「モデルと実行」の拘束解決パラダイムを実質的にすることができます。注：ミニオンはまだ開発のベータ段階にあります。バグが期待できます。このリリースの新機能： 改善点： ・コードをクリーンアップしてモジュール化し、より簡単で修正可能になるようにモジュール化されました。 ・情報モードで詳細な情報が利用可能になります ・いくつかのマイナーなバグ修正 パフォーマンスの向上： ・ブール変数のバウンダチェックはより効率的です ・入力ファイルは早く解析されます その他の変更点： ・ビルドシステムはテストを実行するためのターゲットを提供するようになりました ・ビルドはMain Direcotryではなく、別のディレクトリには行われていません（あなたが好きなのと同じように同じソースのさまざまなビルドを持つことができるという意味） ・Cygwinサポートの向上

min 関連ソフトウェア