The SAT Museum POS'23 Artifact
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/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.
创建时间：
2023-10-24
