Module cnf_kernels 

Kernel function names in the GPU CNF encoder module.

Constants

CNF_ASSIGN_CHOICE_VAR

CNF_ASSIGN_LEAF_VAR

CNF_ASSIGN_NODE_VAR

CNF_CAPTURE_LAST_COUNTS

CNF_COMPUTE_LEAF_CHOICE_TOTALS

CNF_COMPUTE_TOTALS

CNF_COUNT_CLAUSES

CNF_EMIT_CLAUSES

CNF_MARK_LEAF_CHOICE

CNF_MARK_NODE_VARS

CNF_REACHABILITY_BFS

CNF_REACHABILITY_INIT

CNF_SET_CLAUSE_END