Smart Sudoku Solver 1.0.0

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

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

バージョン履歴

  • バージョン 1.0.0 に転記 2010-01-18
    いくつかの修正と更新
  • バージョン 1.0.0 に転記 2010-01-17

プログラムの詳細