23 lines
332 B
C
23 lines
332 B
C
#pragma once
|
|
#include "types.h"
|
|
|
|
typedef struct {
|
|
u32 varcnt;
|
|
u32 clausecnt;
|
|
u32* lvars;
|
|
u32* clens;
|
|
u32* cptrs;
|
|
u32 totcnt;
|
|
u32* varbak;
|
|
u8* parbak;
|
|
} ncnf;
|
|
|
|
ncnf* nreadDIMACS(char* path);
|
|
|
|
void nprintcnf(ncnf* c);
|
|
void nprintcnf2(ncnf* c);
|
|
|
|
void nsortlastnum(ncnf* c);
|
|
void nsort(ncnf* c);
|
|
|
|
void nfreecnf(ncnf* c); |