RedSam

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 4.0/5 - ‎1 ‎投票

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