/Qualitoy

Alloy project

Primary LanguageAlloy

Projet Qualité

Le fichier Spécifications rassemble un ensemble de contrainte propre au problème initial.

Le fichier GestionCouple gère toutes les contraintes liées aux déplacements de nos drônes.