[EM] Investigating criterion compliance

[Kristofer Munsterhjelm]

I first started thinking that monotonicity and resistant set might be 
compatible due to a program I wrote that would find minimal 
manipulability methods for a restricted number of candidates and voters. 
This program showed that minimum manipulability was not markedly 
affected by insisting on monotonicity, at least for three candidates up 
to ten voters, and four candidates with 4-5 voters.

Given this, and that I eventually ended up finding a monotone resistant 
set method, I thought I'd next try to create a more general automated 
proving program to rule out certain criterion combinations. Such a 
program would return either "these criteria definitely can't all be 
passed by the same method" or "don't know".

If I do end up writing something like that, what combinations of 
criteria would you be most interested in investigating?

-km