/gpuequiv

A GPU-accelerated implementation of an algorithm to find all equivalences of processes in the Linear-time Branching-time Spectrum

Primary LanguageRustMIT LicenseMIT

Watchers