Network-verification/ERA

Could not find the definition of `MinimizedTable'

Closed this issue · 0 comments

chenyo-17 commented

Hi, I am interested in running your code after reading the paper. However, I could not find the definition of class MinimizedTable anywhere, I guess it refers to aggregated forwarding table after using K-map, could you point me to where I can import this class, as I am also confused with what should be the K-map implementation in README.md? Thank you so much! (update: think I found it)