Search results

Speed up full_analysis by using implication relations between properties

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#96 In martinlackner/abcvoting;

· DominikPeters opened on Jul 19, 2025

Compute proportionality degree

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#95 In martinlackner/abcvoting;

· DominikPeters opened on Jul 18, 2025

Compute smallest quota for which properties are satisfied

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#94 In martinlackner/abcvoting;

· DominikPeters opened on Jul 18, 2025

Add type hints

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#89 In martinlackner/abcvoting;

· axxeny opened on Apr 1, 2025

Implement greedy cohesive rule and greedy justified candidate rule

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#79 In martinlackner/abcvoting;

· martinlackner opened on Apr 2, 2024

Change implementation of maximin support method to use flows instead of LPs

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#76 In martinlackner/abcvoting;

· DominikPeters opened on Feb 24, 2024

Fix timeout of irresolute sequential rules with many ties

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#72 In martinlackner/abcvoting;

· martinlackner opened on Jul 4, 2023

Faster sequential rules with numpy

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#56 In martinlackner/abcvoting;

· martinlackner opened on Mar 9, 2022