The SAT Museum POS'23 Artifact (Q6700819)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The SAT Museum POS'23 Artifact |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The SAT Museum POS'23 Artifact |
Dataset published at Zenodo repository. |
Statements
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.
0 references
24 October 2023
0 references