A C program that converts circuits provided in ".sim" formatting into a CNF format such that the digital logic can be plugged into ZCHAFF. This converter is based on PODEM.
netzo92 / .sim_to_cnf Goto Github PK
View Code? Open in Web Editor NEWA C program that converts circuits provided in ".sim" formatting into a CNF format such that the digital logic can be plugged into ZCHAFF. This converter is based on PODEM.