search

martinlackner / abcvoting

Python implementations of approval-based committee (multi-winner) voting rules
https://abcvoting.readthedocs.io/
MIT License
32 stars 16 forks source link

Implement EJR+ #62

Closed DominikPeters closed 1 year ago

DominikPeters commented 1 year ago

Implement a property check for the new EJR+ axiom from the paper by Markus Brill and Jannik Peters (https://arxiv.org/abs/2302.01989) which can be done in polynomial time.

(moved the function _check_JR to a more logical place in properties.py in the process)

martinlackner commented 1 year ago

Thanks a lot, that's a very useful contribution!