Return to READ_ME CVS log

Up to [local] / OpenXM_contrib / PHC / C

Annotation of OpenXM_contrib/PHC/C/READ_ME, Revision 1.1

1.1     ! maekawa     1: This is a simple C interface to the black-box solver of phc,
        !             2: written by Nobuki Takayama (taka@math.kobe-u.ac.jp).
        !             3: Requirements:
        !             4:   1) executable version of phc must be on /tmp;
        !             5:   2) user of this program has write permissions to create
        !             6:      the files "input" and "output" in the directory where
        !             7:      this program is executed.
        !             8:
        !             9: Files :
        !            10:   call_phc.c : C program
        !            11:   input      : simple example
        !            12:
        !            13: Type
        !            14:       gcc -o call_phc call_phc.c
        !            15: to create the program call_phc.