#ifndef READCNF_HEADER_INCLUDED

#define CNF_MAX_LITERALS 25

extern int n, m, N, M, Nmax;
extern int *nXs, **Xs, **Xsgns, *lencount;
extern int *nYs, **Ys, **Ysgns, *assign;

int readCNF(FILE *in, int maxLiterals);
void freeCNF();

#define READCNF_HEADER_INCLUDED
#endif