*********
Example 4
*********

-----------------------------------------
Input (election instance from Example 1):
-----------------------------------------

profile with 12 voters and 8 candidates:
 3 x {a, b},
 3 x {a, c},
 2 x {a, d},
 1 x {b, c, f},
 1 x {e},
 1 x {f},
 1 x {g}

----------------------------------
Proportional Approval Voting (PAV)
----------------------------------

Algorithm: branch-and-bound

Optimal PAV-score: 83/6

1 winning committee:
 {a, b, c, f}

