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

[Stanislav Gatev 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 {
----------------
sgatev wrote:

Maybe move the comment above as a class comment of `WatchedLiteralsSolverImpl`?

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