Main interactive drivers and dispatcher for the software package PHCv2. New is this directory is the conversion between symbolic and tableau formats. The are four parts in this libary : 1. Separate drivers 2. Main drivers and black-box solver 3. PHCPACK as server package and how to use it 4. The main dispatcher -------------------------------------------------------------------------------- file name : short description -------------------------------------------------------------------------------- driver_for_own_start_system : driver for submitting start system driver_for_root_counts : interactive menu-driver for counting roots driver_for_root_refining : calls the root refiners -------------------------------------------------------------------------------- black_box_root_counting : performs several root counts bablroco : calls the black-box root counter mainroco : calls interactive root-counting driver mainvali : menu-driver for validating the results bablvali : black-box version of validation mainphc : the main program running in full mode bablphc : black-box version of the program -------------------------------------------------------------------------------- phcpack : PHC with main drivers according to 4 stages use_phc : an example of how to use phcpack tableau_formats : input/output for tableau formats of systems convert_formats : convert between symbolic and tableau formats -------------------------------------------------------------------------------- dispatch : scans options and arguments and calls drivers -------------------------------------------------------------------------------- The driver for root refinement are located at this level because symmetry relations can be used to extract the generators of a list of solutions. wc *adb counts 2236 lines of Ada code