[Mlir-commits] [llvm] [mlir] [Python] Develop python bindings for Presburger library (PR #113233)

[Christopher Bate]

================
@@ -0,0 +1,527 @@
+#ifndef MLIR_C_PRESBURGER_H
----------------
christopherbate wrote:

Missing  file comment license/documentation block (see other header files).  

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