Permission / license clarification for using your repository in a research benchmark

[mx-xn]

Hi Luisa,

I am a PhD student working on building a benchmark based on several open-source repositories, including yours:

TaPLean: https://github.com/luisacicolini/TaPLean

We noticed that the repository currently does not specify a license. Since we hope to use your code in our benchmark, we want to make sure this is done with your explicit permission and in compliance with your intended usage terms.

Would you mind letting us know whether you would be willing to add a license, or if you are okay with us using the repository for research purposes and citing it in our paper and benchmark?

Thank you very much for your time, and we really appreciate your contribution to the community.

Thanks,
Maxine Xin