[EM] Deduction engine - maybe not worth it

[Warren Smith]

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