プログラム redsam.sf.net

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