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
A python converter that takes circuits provided in .sim formatting (for PODEM) and provides OBDD representations of the circuit in .dot format
Python