2008 年の CSP/MaxCSP/WCSP ソルバーコンペティションに採用されている、バイナリ制約の問題解決、現在の形式 XCSP 2.1 の XML 入力ファイル。ソルバーは C++ で、ブースト ライブラリを使用します。
バージョン履歴
- バージョン RedSam に転記 2008-03-26
いくつかの修正と更新 - バージョン N/A に転記 2008-03-26
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: redsam.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows