Be notified of new releases
Create your free GitHub account today to subscribe to this repository for new releases and build software alongside 28 million developers.Sign up
Minor bug fix: ties in the aggregate now have the same rank, e.g. "15 (tie)" and "15 (tie)" instead of "15 (tie)" and "16 (tie)".
Minor style change in the format of the output.