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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

.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

About

A python converter that takes circuits provided in .sim formatting (for PODEM) and provides OBDD representations of the circuit in .dot format


Languages

Language:Python 100.0%