Library for analyzing Stellar network quorum properties - View it on GitHub