utisam/blif
A library to parse BLIF (Berkeley Logic Interchange Format) files.
BDD/ZDD library to replesent boolean functions using modern C++ features
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A library to parse BLIF (Berkeley Logic Interchange Format) files.
Public repository.
Binary Decision Diagram
rime plugin to generate reStructuredText