The code in this tar archive reads an SMV fileand prints out the parse tree. The filename has to be given on the commmand line. You will have to change the file problem1.cpp in the subdirectory problem1 in order to add code that converts the parse tree to CNF/DNF. You do not need to assign literal numbers to the variables. The due date has been postponed by one week.