COMPACT is a state-of-the-art synthesis method for flow-based digital stateful in-memory computing based on finding the largest induced bipartite subgraph in a Binary Decision Diagram. - View it on GitHub