### This issue is to track progress for RFC#99: [Introduce
PresburgerSet](https://github.com/apache/tvm-rfcs/pull/99)
- [ ] P1. Build & CI setup, PresburgerSet class with minimal member functions.
- [ ] P2. Basic set manipulation functions.
- [ ] P3. Dependency analysis utilities.
- [ ] P4. Helper
The comments so far seem have been addressed, would love to see if we have
additional comments, and move forward on this
--
Reply to this email directly or view it on GitHub:
https://github.com/apache/tvm-rfcs/pull/97#issuecomment-1431459868
You are receiving this because you are subscribed to t