Smart Sudoku Solver 1.0.0

Licence: Gratuit ‎Taille du fichier: 26.21 MB
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes

Solveur SAT (MiniSat) basé sur le solveur Sudoku. Offre aux utilisateurs la possibilité d’itérer à travers toutes les solutions possibles. Utilise du code natif; testé sur G1/ADP1.

historique de la version

  • Version 1.0.0 posté sur 2010-01-18
    Plusieurs correctifs et mises à jour
  • Version 1.0.0 posté sur 2010-01-17

Détails du programme