Return to READ_ME CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Main

Annotation of OpenXM_contrib/PHC/Ada/Main/READ_ME, Revision 1.1

1.1     ! maekawa     1: Main interactive drivers and dispatcher for the software package PHCv2.
        !             2:
        !             3: New is this directory is the conversion between symbolic and tableau formats.
        !             4:
        !             5: The are four parts in this libary :
        !             6:
        !             7: 1. Separate drivers
        !             8: 2. Main drivers and black-box solver
        !             9: 3. PHCPACK as server package and how to use it
        !            10: 4. The main dispatcher
        !            11:
        !            12: --------------------------------------------------------------------------------
        !            13: file name                    : short description
        !            14: --------------------------------------------------------------------------------
        !            15: driver_for_own_start_system  : driver for submitting start system
        !            16: driver_for_root_counts       : interactive menu-driver for counting roots
        !            17: driver_for_root_refining     : calls the root refiners
        !            18: --------------------------------------------------------------------------------
        !            19: black_box_root_counting      : performs several root counts
        !            20: bablroco                     : calls the black-box root counter
        !            21: mainroco                     : calls interactive root-counting driver
        !            22: mainvali                     : menu-driver for validating the results
        !            23: bablvali                     : black-box version of validation
        !            24: mainphc                      : the main program running in full mode
        !            25: bablphc                      : black-box version of the program
        !            26: --------------------------------------------------------------------------------
        !            27: phcpack                      : PHC with main drivers according to 4 stages
        !            28: use_phc                      : an example of how to use phcpack
        !            29: tableau_formats              : input/output for tableau formats of systems
        !            30: convert_formats              : convert between symbolic and tableau formats
        !            31: --------------------------------------------------------------------------------
        !            32: dispatch                     : scans options and arguments and calls drivers
        !            33: --------------------------------------------------------------------------------
        !            34:
        !            35: The driver for root refinement are located at this level because symmetry
        !            36: relations can be used to extract the generators of a list of solutions.
        !            37:
        !            38: wc *adb counts 2236 lines of Ada code