Ce projet est une page web qui affiche de manière simple les réponses à la problématique de l'influence des facteurs naturels sur les accidents routiers dans la région Auvergne Rhônes Alpes en 2019. Il utilise un jeu de données du site data.gouv.fr et communique avec la base de données pour fournir à l'utilisateur les statistiques des accidents et de leur gravité en fonction de certains facteurs tels que l'âge, le sexe ou les conditions atmosphériques.

Génération uniforme ou proche de l'uniformité de solutions pour de grandes formules de satisfiabilité est un problème théorique et pratique d'intérêt pour la communauté de test. Des travaux récents ont proposé deux algorithmes (Unigen et QuickSampler) pour un compromis entre temps d'exécution et garanties d'uniformité. Cette référence vise à fournir tous les modèles de fonctionnalités des bancs d'essai, des scripts Python pour exécuter des expériences, des scripts Python pour calculer des graphiques, des figures et des statistiques de ce document ainsi que d'autres, et des instructions pour réutiliser notre travail.