pivot-libre / tideman

Implementation of the Tideman ranked pairs algorithm
Apache License 2.0
9 stars 3 forks source link

Parameterizing the Agenda #99

Closed carlschroedl closed 5 years ago

coveralls commented 5 years ago

Coverage Status

Coverage remained the same at 86.297% when pulling 0b9cf9ee048974532d89018299a80fcf9137a7b8 on carlschroedl:0.x into 9ee510e5439e74062f8342a5e1653745002a4e6d on pivot-libre:0.x.