Functionaly Reduced And-Inv Graph為一個邏輯電路的資料結構，給定一個Combination的電路，這個以AND-INV Graph的 資料結構提供了Structural Hash、Simulation、Functionally Reduced using SAT solver等化簡電路的功能，內部使用的資料結構包含了Hash、Graph等。 專案連結 subdirectory /fraig ＃ https://github.com/WWFUG/DSnP2019/tree/master/fraig