Projet challenge d'entreprendre TSP-IMTBS-ENSIIE

Implémentation du projet SEA-ROS On utilise des principes de vérification formelle pour check la validité

Quickstart :

source venv/bin/activate
pip install -r requirements.txt
cd searos
python3 manage.py runserver

Rendez vous ensuite sur 127.0.0.1:8000 pour voir le serveur

Contributeurs :

• Helene DE FORAS DU BOURGNEUF
• Antoine DESHAYES
• Nathan FERET
• Valentin FERREIRA DIONISIO
• Samir FLORIDO POKA
• Typhaine HAUSER