Groverkss wrote: Looks very promising! @makslevental would probably be the best person to review the python/C api side of things. Me and @Superty can help with any Presburger related issues you might face. Thanks for taking this up! https://github.com/llvm/llvm-project/pull/113233