Reference# Election module Instance Ballot Profile Satisfaction Preference Libraries Rules module Budget Allocation Greedy Utilitarian Rule Additive Utilitarian Welfare Maximiser Sequential Phragmén’s Rule Maximin Support Rule Method of Equal Shares (MES) Cumulative Support Transfer Voting Rule Exhaustion Methods Rule Composition Analysis module Basic Properties Voters’ Satisfaction Properties Projects’ Categories Properties Justified Representation Axioms Priceability Axiom Stable-Priceability Axiom Relaxations Properties Specific to the Method of Equal Shares Visualisation Module Visualiser MESVisualiser GreedyWelfareVisualiser Tie-Breaking TieBreakingException TieBreakingRule app_score_tie_breaking lexico_tie_breaking max_cost_tie_breaking min_cost_tie_breaking refuse_tie_breaking Fractions frac() str_as_frac() FLOAT_FRAC FRACTION GMPY_FRAC Utils DocEnum gini_coefficient() mean_generator() powerset() round_cmp() Numeric