The SAT Museum POS'23 Artifact
收藏官方服务：
资源简介：
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
