Here is a list of all namespace variables with links to the namespace documentation for each variable:

• kCostCompilation : provsql
• kCostCompilationFloor : provsql
• kCostDnfShapeFeature : provsql
• kCostDTreeApprox : provsql
• kCostDTreeExact : provsql
• kCostDTreeMsPerStepDnf : provsql
• kCostDTreeMsPerStepGeneral : provsql
• kCostIndependent : provsql
• kCostInversionFree : provsql
• kCostKarpLuby : provsql
• kCostMonteCarlo : provsql
• kCostPossibleWorlds : provsql
• kCostSieve : provsql
• kCostStoppingRule : provsql
• kCostTreeDecomp : provsql
• kCostTwProxyFeature : provsql
• kPossibleWorldsSanityMax : provsql
• kSieveSanityMaxClauses : provsql