Solver for the Winner Determination Problem. Written in Python.