QuickCheck models for aeternity/aeternity. The canonical repo is https://github.com/Quviq/epoch-eqc - View it on GitHub