HashiResolver

HashiResolver est un projet visant à résoudre des grilles de Hashiwokakero (Hashi) en utilisant un algorithme de logique développé par notre groupe. Ce projet ne fait pas appel à des méthodes de force brute ou similaires.

Fonctionnalités

• Résolution des grilles de Hashi en utilisant un algorithme de logique.
• Gestion des coordonnées, orientations, îles, ponts et types de cases.
• Tests unitaires pour vérifier le bon fonctionnement des différentes parties du projet.

Algorithme de résolution

L'algorithme de résolution des grilles de Hashi se trouve dans le fichier src/corps/resolution_hashi.adb. Cet algorithme utilise des techniques de logique pour résoudre les grilles sans recourir à la force brute.

Tests

Les tests unitaires pour les différentes parties du projet se trouvent dans le dossier tests/Tests_TAD. Pour exécuter tous les tests, utilisez le fichier tests/Tests_TAD/run_all_tests.adb.

Installation

Pour installer et compiler le projet, suivez les étapes ci-dessous :

1. Clonez le dépôt :

   git clone <https://github.com/Arcols/HashiResolver>
   cd HashiResolver

2. Installez GNAT (compilateur Ada) si ce n'est pas déjà fait. Vous pouvez le télécharger depuis GNAT Community.

3. Compilez le projet en utilisant le fichier de projet GNAT hashi.gpr :

   gnatmake -P hashi.gpr

4. Exécutez les tests :

   ./obj/run_all_tests

Contributeurs

Ce projet a été développé par notre groupe dans le cadre d'un projet académique.

Licence

Ce projet est sous licence MIT. Voir le fichier LICENSE pour plus de détails.