Randomised_Social_Choice

Order_Predicates

Preference_Profiles

Elections

Lotteries

Utility_Functions

Stochastic_Dominance

SD_Efficiency

Social_Decision_Schemes

SDS_Lowering

Random_Dictatorship

Random_Serial_Dictatorship

Randomised_Social_Choice

Preference_Profile_Cmd

QSOpt_Exact

SDS_Automation