| Current Path : /usr/home/beeson/Otter-Lambda/otter/ |
| Current File : /usr/home/beeson/Otter-Lambda/otter/linkhyp.c |
/*
* linkhyp.c -- linked hyperresolution
*
*/
#include "header.h"
/*************
*
* linked_hyper_res(giv_cl)
*
*************/
void linked_hyper_res(struct clause *giv_cl)
{
printf("linked hyper not implemented yet.\n");
} /* linked_hyper_res */