# parse command line parameters # scan input file # verify that CCD logic is more or less legal # graph generation # call report generator