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

Gilles Audemard, Loïc Paulevé, Laurent Simon

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…