Ce projet propose une implémentation Python d'algorithmes pour générer des explications abductives et contrastives des règles de scoring dans les systèmes de vote. Il s'appuie sur des travaux de recherche présentés à la conférence ECAI-24 et permet d'analyser les décisions électorales à travers des modèles mathématiques avancés. Les outils développés facilitent la compréhension des mécanismes de vote et la validation de nouvelles approches algorithmiques.

Outil académique permettant d'analyser les comportements stratégiques des candidats lors d'élections sous différentes règles de vote. Il évalue l'existence d'équilibres de Nash purs en fonction du nombre de candidats et des préférences des électeurs. Les résultats sont présentés sous forme de tableaux comparatifs pour des règles comme le vote plural, Borda ou Copeland.

Outil de modélisation et simulation des systèmes électoraux et des dynamiques de vote. Permet d'analyser l'impact des règles électorales sur les résultats et les comportements des électeurs. Utilisé pour étudier des scénarios de vote et comparer différents modes de scrutin.

Ce projet vise à analyser et modéliser les systèmes électoraux ainsi que les dynamiques de vote. Il permet de simuler des scrutins, d'étudier les comportements des électeurs et d'évaluer l'impact des règles électorales. Les résultats peuvent servir à des recherches académiques ou à des analyses politiques.