@misc{indiciae24ce10cef65b,
  title = {The SemGuS Toolkit},
  author = {Keith J. C. Johnson and Andrew Reynolds and Thomas Reps and Loris D'Antoni},
  year = {2024},
  url = {https://arxiv.org/abs/2406.01792},
  note = {Source identifier: 2406.01792}
}