@misc{indiciaec51c8dd5ef9a,
  title = {PIETOOLS 2025: User Manual},
  author = {Sachin Shivakumar and Declan Jagt and Danilo Braghini and Amritam Das and Yulia Peet and Matthew Peet},
  year = {2026},
  url = {https://arxiv.org/abs/2501.17854},
  note = {Source identifier: 2501.17854}
}