Sources of the SAT solvers Index Source Notes 2000 (binaries) Sources on GitHub, to be moved to Zenodo 2002 (binaries) 2003 (binaries) 2004 (binaries) 2005 (binaries) 2007 https://github.com/sat-heritage/docker-images/releases/tag/2007-src To be moved to Zenodo 2009 https://github.com/sat-heritage/docker-images/releases/tag/2009-src To be moved to Zenodo 2011 https://github.com/sat-heritage/docker-images/releases/tag/2011-src To be moved to Zenodo 2013 Recovered from http://satcompetition.org/sc13solver.sql.xz 2014 Recovered from http://satcompetition.org/sc14solver.sql.xz 2016 2017 2018 https://satcompetition.github.io/2018/ 2019 https://satcompetition.github.io/2019/ 2020 https://github.com/sat-heritage/docker-images/releases/tag/2020-src https://satcompetition.github.io/2020/ 2021 https://github.com/sat-heritage/docker-images/releases/tag/2021-competition https://satcompetition.github.io/2021/ knuth https://www-cs-faculty.stanford.edu/~knuth/programs.html Archived at https://web.archive.org/web/20211128174728/https://www-cs-faculty.stanford.edu/~knuth/programs.html
