Why do you think that https://github.com/aslatter/qc-instances is a good alternative to quickcheck-state-machine-distributed
Why do you think that https://github.com/aslatter/qc-instances is a good alternative to quickcheck-state-machine-distributed