#pragma once
#include "ncnf.h"

i32 gpusolve(cnf* c);