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