GitHub repository: trolando/sylvan
Primary language: C
Description: Implementation of multi-core (binary) decision diagrams