hackage.haskell.org "linearizability" keyword
quickcheck-state-machine-distributed 0.0.1
Please see the README on Github at https://github.com/advancedtelematic/quickcheck-state-machine-...2 versions - Latest release: almost 8 years ago - 1 dependent repositories - 1.14 thousand downloads total - 6 stars on GitHub - 1 maintainer