The SAT Museum POS'23 Artifact
From MaRDI portal
Dataset:6700819
DOI10.5281/zenodo.10037737Zenodo10037737MaRDI QIDQ6700819FDOQ6700819
Dataset published at Zenodo repository.
Mathias Fleury, Nils Froleyks, Marijn Heule, Armin Biere
Publication date: 24 October 2023
Copyright license: Creative Commons Attribution 4.0 International
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.
This page was built for dataset: The SAT Museum POS'23 Artifact
