Skip to main content

SAT_PROOF_CHECK

xlog_cuda::provider::sat_kernels

Constant SAT_PROOF_CHECK 

Source 
pub const SAT_PROOF_CHECK: &str = "sat_proof_check";