Okay, so, I wrote a quick proof of concept Liberty library generator based on BDDs. It only goes up to 4-input gates, but it's something