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

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.