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
- Catégorie: Jeux & Divertissement > Autres
- Éditeur: Dero Gharibian
- Licence: Gratuit
- Prix: N/A
- Version: 1.0.0
- Plate-forme: android