GitHub - satcompetition/2020: SAT Competition 2020

Name		Name	Last commit message	Last commit date
Latest commit History 316 Commits
downloads		downloads
paper		paper
slides		slides
.gitattributes		.gitattributes
.gitignore		.gitignore
IEEEtran.cls		IEEEtran.cls
benchmarks.html		benchmarks.html
certificates.html		certificates.html
doge2.ico		doge2.ico
downloads.html		downloads.html
future_rules.html		future_rules.html
index.html		index.html
logo2020.png		logo2020.png
main.css		main.css
navigation.html		navigation.html
organizers.html		organizers.html
references.bib		references.bib
results.html		results.html
rules.html		rules.html
solvers.html		solvers.html
sorttable.js		sorttable.js
tournament.tex		tournament.tex
track_cloud.html		track_cloud.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
track_planning.html		track_planning.html
tracks.html		tracks.html

Provide feedback