gpuequiv 1.0.0

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