Multi-core symbolic bisimulation minimisation
Branch: master
Clone or download
Type Name Latest commit message Commit time
Failed to load latest commit information.
doc Documentation Oct 19, 2015
src Implement 'gmp' leaf type Nov 2, 2015
sylvan Update Sylvan for GMP functionality Nov 2, 2015
.gitignore Initial source code Oct 15, 2015
CMakeLists.txt Initial source code Oct 15, 2015
LICENSE Squashed 'sylvan/' content from commit 0a6686f Oct 16, 2015 Initial commit Oct 15, 2015


SigrefMC is a multi-core implementation of symbolic bisimulation minimisation using signature-based partition refinement.

SigrefMC is developed (© 2015) by the Formal Methods and Tools group at the University of Twente as part of the MaDriD project, which is funded by NWO. Sylvan is licensed with the Apache 2.0 license.

You can contact the main author of SigrefMC at Please let us know if you use SigrefMC in your projects or research.

SigrefMC is available at: