GitHub repository: utwente-fmt/sylvan
Primary language: C
Description: Multi-core Decision Diagram (BDD/LDD) implementation