![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to phc6.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / phc|
Return to phc6.c CVS log | Up to [local] / OpenXM / src / phc |
| version 1.2, 2000/10/31 12:21:28 | version 1.3, 2000/10/31 12:22:05 | ||
|---|---|---|---|
|
|
||
| /* phc6.c , yama:1999/sm1-prog/phc6.c */ | /* phc6.c , yama:1999/sm1-prog/phc6.c */ | ||
| /* $OpenXM$ */ | |||
| /* This is a simple C interface to the black-box solver of phc. | /* This is a simple C interface to the black-box solver of phc. | ||
| ** Requirements: | ** Requirements: | ||
| ** 1) executable version of phc will be searched in the following order: | ** 1) executable version of phc will be searched in the following order: |