Skip to Main content Skip to Navigation
Conference papers

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

Abstract : SAT research has a long history of source code and binary releases, thanks to competitions organized every year. However, since every cycle of competitions has its own set of rules and an adhoc way of publishing source code and binaries, compiling or even running any solver may be harder than what it seems. Moreover, there has been more than a thousand solvers published so far, some of them released in the early 90's. If the SAT community wants to archive and be able to keep track of all the solvers that made its history, it urgently needs to deploy an important effort. We propose to initiate a community-driven effort to archive and to allow easy compilation and running of all SAT solvers that have been released so far. We rely on the best tools for archiving and building binaries (thanks to Docker, GitHub and Zenodo) and provide a consistent and easy way for this. Thanks to our tool, building (or running) a solver from its source (or from its binary) can be done in one line.
Document type :
Conference papers
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02704747
Contributor : Loïc Paulevé <>
Submitted on : Monday, June 1, 2020 - 2:51:09 PM
Last modification on : Friday, July 3, 2020 - 11:09:26 PM

Files

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Gilles Audemard, Loïc Paulevé, Laurent Simon. SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers. SAT 2020, The 23rd International Conference on Theory and Applications of Satisfiability Testing, 2020, Alghero, Italy. pp.107-113, ⟨10.1007/978-3-030-51825-7_8⟩. ⟨hal-02704747⟩

Share

Metrics

Record views

38

Files downloads

32