RedSam

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

に関しては RedSam

2008 年の CSP/MaxCSP/WCSP ソルバーコンペティションに採用されている、バイナリ制約の問題解決、現在の形式 XCSP 2.1 の XML 入力ファイル。ソルバーは C++ で、ブースト ライブラリを使用します。