GitHub - satcompetition/2021: SAT Competition 2021

Name		Name	Last commit message	Last commit date
Latest commit History 40 Commits
downloads		downloads
results		results
slides		slides
.gitattributes		.gitattributes
.gitignore		.gitignore
benchmarks.html		benchmarks.html
certificates.html		certificates.html
doge2.ico		doge2.ico
downloads.html		downloads.html
index.html		index.html
logo2020.png		logo2020.png
logo2021.png		logo2021.png
main.css		main.css
navigation.html		navigation.html
organizers.html		organizers.html
results.html		results.html
rules.html		rules.html
solvers.html		solvers.html
sorttable.js		sorttable.js
template.css		template.css
track_cloud.html		track_cloud.html
track_crypto.html		track_crypto.html
track_hack.html		track_hack.html
track_incremental.html		track_incremental.html
track_main.html		track_main.html
track_nolimits.html		track_nolimits.html
track_parallel.html		track_parallel.html
tracks.html		tracks.html