Artifact for FMCAD 2026 Paper "RE2Bool: An Eager Approach to Solving String Constraints with Constraint Rewrite"
收藏DataCite Commons2026-05-04 更新2026-05-07 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.19846640
下载链接
链接失效反馈官方服务：
资源简介：
The artifact includes:
RE2Bool prototype's source code.
Public datasets tested by RE2Bool.
See README.md.
提供机构：
Zenodo
创建时间：
2026-04-28
