Application draws ROBDD graphs, created from function formula. Formula parses from text file.