Programmes par Dero Gharibian
-
Smart Sudoku Solver Gratuit
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.
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.