プログラム dancinglinks.sf.net

これは、ドナルド・クヌースのアルゴリズムX("ダンスリンク")の実装です。これは主に数独発生器とソルバーですが、他の正確なカバーの問題を解決するために使用することができます。