Artifact for FMCAD 2026 Paper "RE2BOOL: Eagerly Solving String Constraints with Constraint Rewrite"
收藏官方服务：
资源简介：
The artifact includes: RE2Bool prototype's source code (in re2bool-v0.1.1.zip); Public datasets tested by RE2Bool (in re2bool-v0.1.1.zip); An all-in-one Docker image for running RE2Bool and benchmarks (re2bool-image.tar). See README.md (in re2bool-v0.1.1.zip).
提供机构：
Zenodo创建时间：
2026-07-06
