GitHub repository: trolando/sigrefmc
Primary language: C
Description: Multi-core symbolic bisimulation minimisation