Define profiles of voters with preferences over a set of candidates. Preferences can be generated by several probabilistic models, entered manually or imported from an external file.
Compute the result of several voting rules (ballots, winner, scores, etc).
Decide Condorcet notions.
Decide Independence of Irrelevant Alternatives.
Decide Individual Manipulation.
Decide Coalitional Manipulation and variants: Ignorant-Coalition Manipulation, Trivial Manipulation and Unison Manipulation.