This script will simply do these,
- set up and compose the 2 quorums automatically with given numbers, and the
commons
(shared nodes between 2 quorums) is also considered. - by the possible number of faulty nodes, checking and calculating these factors,
safety
liveness
- minimum
threshold