[clang] [llvm] [clang][dataflow] Make `CNFFormula` externally accessible. (PR #92401)

[via llvm-commits]

================
@@ -44,73 +41,16 @@ namespace dataflow {
 //
 // [1] https://en.wikipedia.org/wiki/DPLL_algorithm
 
-/// Boolean variables are represented as positive integers.
-using Variable = uint32_t;
+namespace {
----------------
martinboehme wrote:

I did something similar: The class comment in the header file already duplicated much of the content that was in this comment, so I just added the Wikipedia reference there.

The rest then seemed to be really just duplication of information that one might also find in the Wikipedia article, so I simply deleted it.

https://github.com/llvm/llvm-project/pull/92401