@misc{indiciae2afa1c1d9269,
  title = {lazybvtoint at the SMT Competition 2020},
  author = {Yoni Zohar and Ahmed Irfan and Makai Mann and Andres Notzli and Andrew Reynolds and Clark Barrett},
  year = {2021},
  url = {https://arxiv.org/abs/2105.09743},
  note = {Source identifier: 2105.09743}
}