tree a8da97a35b2a96f94b4e9d00a6ba7c4f435cc12d
parent d646a22eb00b8138573cb856edb16a7b05906e1e
author multiverstack <39256082+multiverstack-intellif@users.noreply.github.com> 1677573223 +0800
committer GitHub <noreply@github.com> 1677573223 +0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJj/bxnCRBK7hj4Ov3rIwAAgwUIADbvgdDbII8nG5ogMltRePBp
 KBDxxrqDK74wde9BmzZ1HqC3mYl46UWiKwNvQlRbyqWHL3uaclepizrGqg3AXHmh
 unwnWwPZOcJn3utS6cjY25DG3MOGRkzRqW5WnGbrdkOX3I07anVt/lCy3OBLwtOt
 HRMwqPznckNfdbN/A95mkD/XvspzC2AKlG0sHZ6XsmF/a3+8mjlAiKnB1S8zd79w
 fJODkQi/FJaosl6SjiKgDJZ7kaxqLYB3/1d1QkzhGn+2xhLiUpO0Adbq6CsqWApp
 FofSP0rfXFPCQx1i9tvNCeuZ5TLYf+df38BPWk/DdLl5CGy4F85AufHdUMscm04=
 =99zL
 -----END PGP SIGNATURE-----
 

[RFC] Introduce PresburgerSet (#99)

This RFC proposes to introduce PresburgerSet as another integer set utility, aiming to tackle more complex analysis problems.


---------

Co-authored-by: Min Chen <chen.min@intellif.com>