Files
psat/gpusolver.h
gothictomato 4c111f4b6f Early subsumption complete
Signed-off-by: gothictomato <gothictomato@pm.me>
2022-08-21 12:49:48 -04:00

4 lines
53 B
C

#pragma once
#include "ncnf.h"
i32 gpusolve(cnf* c);