/EDA-fraig

Primary LanguageC++

EDA-fraig

這個程式可以讀進電路，並且模擬電路，利用SAT Solver進行電路化簡