Sibyl Datasets
收藏NIAID Data Ecosystem2026-03-14 收录
下载链接：
https://zenodo.org/record/6521826
下载链接
链接失效反馈官方服务：
资源简介：
This upload includes the three datasets used in the experimental evaluation of the algorithm selector Sibyl for the submission "Sibyl: Improving Software Engineering Tools with SMT Selection". We also include the pre-comupted graphs. The artifact for this project can be found on Software Heritage: https://archive.softwareheritage.org/swh:1:dir:bc493ad1d1631b4ae92b007340fdba3df4518526.
创建时间：
2023-01-27
