私は完全なCSPソルバーを探しています。つまり、解決策が存在する場合は常にそれを見つけ、解決策が存在しない場合はそれを通知します。グラフ彩色用に最適化されたソルバーが推奨されますが、必須ではありません。そこには多くの反復アルゴリズム/ソルバーがありますが、作業には完全性（？）が必要です。
ウィークコミットメント検索アルゴリズムを使用して独自のソルバーを実装しましたが、はるかに高速なソルバーを作成し、シミュレーションで使用できる変数の数を増やすことができる多くの最適化とスレッドベースの機能があると確信しています。私はそれが指数関数的に難しい問題であることを理解していますが、少しでも助けになります！