プログラム Dero Gharibian

SAT ソルバー (ミニサット) ベース数独ソルバー。 可能なすべてのソリューションを反復処理する機能をユーザーに提供します。 ネイティブ コードを使用します。G1/ADP1 でテストされています。