A python converter that takes circuits provided in .sim formatting (for PODEM) and provides OBDD representations of the circuit in .dot format
netzo92 / .sim_to_obdd Goto Github PK
View Code? Open in Web Editor NEWA python converter that takes circuits provided in .sim formatting (for PODEM) and provides OBDD representations of the circuit in .dot format