@misc{indiciae1552e0f310d1,
  title = {SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers},
  author = {Gilles Audemard and Loïc Paulevé and Laurent Simon},
  year = {2020},
  url = {https://arxiv.org/abs/2006.01503},
  note = {Source identifier: 2006.01503}
}