Skip to main content

SAT_CHECK_MODEL

xlog_cuda::provider::sat_kernels

Constant SAT_CHECK_MODEL 

Source 
pub const SAT_CHECK_MODEL: &str = "sat_check_model";