The SAT Museum POS'23 Artifact
收藏Zenodo2023-10-24 更新2026-05-26 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.10037736
下载链接
链接失效反馈官方服务：
资源简介：
This dataset provides the artifact for our POS'23 paper on "The SAT Museum" effort. It includes the original sources of solvers winning the SAT competitions together with patches to fix, compile and run them with modern compilers, as well as log files and other experimental data when running these solvers on 6 SAT Competition benchmark sets.
提供机构：
Zenodo创建时间：
2023-10-24
