gpuequiv 0.1.0

A GPU-accelerated implementation of an algorithm to find all equivalences of processes
Documentation