Last released Jun 7, 2021
A library for modelling, analyzing, and optimizing quorum systems
Supported by