Software and Benchmarks for Distributed Coalgebraic Partition Refinement

This is the artifact for our paper "Distributed Coalgebraic Partition
Refinement", submitted to TACAS'22. It contains the source code of the partition
refinement tool CoPaR which is described in the paper, including the newly
implemented distributed algorithm. All input files used in the evaluation, the
tools used to generate those files and scripts to run CoPaR on them are
included. We also include the raw data of the results in our paper and scripts
to extract the tables that are presented there. Finally, since the exact
reproduction of our results requires a cluster of 32 computers with at least 4
cores each, we include smaller input files that can be used to verify the
functionality of our tool.