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

SAT research has a long history of source code and binary releases, thanks to\ncompetitions organized every year. However, since every cycle of competitions\nhas its own set of rules and an adhoc way of publishing source code and\nbinaries, compiling or even running any solver may be harder than what it\nseems. Moreover, there has been more than a thousand solvers published so far,\nsome of them released in the early 90's. If the SAT community wants to archive\nand be able to keep track of all the solvers that made its history, it urgently\nneeds to deploy an important effort. We propose to initiate a community-driven\neffort to archive and to allow easy compilation and running of all SAT solvers\nthat have been released so far. We rely on the best tools for archiving and\nbuilding binaries (thanks to Docker, GitHub and Zenodo) and provide a\nconsistent and easy way for this. Thanks to our tool, building (or running) a\nsolver from its source (or from its binary) can be done in one line.\n