/.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

Primary LanguagePython

.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