#include #include #include "processor/KolchShindyalov.h" #include "processor/Processor.h" #include "processor/Settings.h" //#include "DerevyankoReport.h" #include "DerevyankoReport2014.h" int main(int argc, char** argv){ /*if(argc < 2){ std::cerr<<"No input file specified\nTrying default script file (DecScript.txt)\n"; Settings::initScript("DecScript.txt"); } else{ Settings::initScript(argv[1]); }*/ time_t rawtime; time ( &rawtime ); std::cout<<"*** Starting\tDEC v0.0 ***\t"<