Skip to main content

SAT_CDCL_SOLVE

xlog_cuda::provider::sat_kernels

Constant SAT_CDCL_SOLVE 

Source 
pub const SAT_CDCL_SOLVE: &str = "sat_cdcl_solve";