Return to READ_ME CVS log | Up to [local] / OpenXM_contrib / PHC / C |
File: [local] / OpenXM_contrib / PHC / C / READ_ME (download)
Revision 1.1, Sun Oct 29 17:45:34 2000 UTC (23 years, 11 months ago) by maekawa
Initial revision |
This is a simple C interface to the black-box solver of phc, written by Nobuki Takayama (taka@math.kobe-u.ac.jp). Requirements: 1) executable version of phc must be on /tmp; 2) user of this program has write permissions to create the files "input" and "output" in the directory where this program is executed. Files : call_phc.c : C program input : simple example Type gcc -o call_phc call_phc.c to create the program call_phc.