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

[via llvm-commits]

github-actions[bot] wrote:

<!--LLVM CODE FORMAT COMMENT: {darker}-->


:warning: Python code formatter, darker found issues in your code. :warning:

<details>
<summary>
You can test this locally with the following command:
</summary>

``````````bash
darker --check --diff -r 9bf68c2400e8966511332dfbf5c0f05e8a3300fa...f5acf65f3cf1bc76c06872788055bf70e4604fb5 mlir/python/mlir/presburger.py mlir/test/python/presburger.py
``````````

</details>

<details>
<summary>
View the diff from darker here.
</summary>

``````````diff
--- test/python/presburger.py	2024-11-08 23:26:39.000000 +0000
+++ test/python/presburger.py	2024-11-08 23:56:42.761299 +0000
@@ -76,7 +76,5 @@
 # print(relation.num_vars)
 # t = relation.get_var_kind_at(1)
 # print(t, type(t))
 # print(relation.append_var(presburger.VariableKind.Range))
 # print(relation)
-
-

``````````

</details>


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