thinking some more about my "deduction engine" idea, it seems probable that reasoning about elections with 4 or more candidates will be out of reach for the deduction engine (with equalities allowed in rank-ballots; without them it should be just barely feasible) with today's speeds and memory capacities. For 3-candidate elections, I'm not sure it's worth the effort to write the engine.
Warren D. Smith http://rangevoting.org ---- election-methods mailing list - see http://electorama.com/em for list info
