This contains a Podem application (Coded in C) modiifed to translate SIM netlists into CNF formulas. In addition it prints  BDD Graph displaying the logic of the netlists