#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);