GitHub - satcompetition/2016: SAT Competition 2016 · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
downloads		downloads
pages.bkp		pages.bkp
rezvrkjas		rezvrkjas
solvers		solvers
agile.csv		agile.csv
benchmarks.html		benchmarks.html
certificates.html		certificates.html
dish.png		dish.png
doge2.ico		doge2.ico
downloads.html		downloads.html
editdistance.zip		editdistance.zip
essentials.times		essentials.times
hack.html		hack.html
hwmcc.times		hwmcc.times
incremental.html		incremental.html
index.html		index.html
index.php		index.php
main-app.csv		main-app.csv
main-craft.csv		main-craft.csv
main.css		main.css
main.csv		main.csv
navigation.html		navigation.html
nolimit.csv		nolimit.csv
organizers.html		organizers.html
parallel.csv		parallel.csv
pmaxsat.times		pmaxsat.times
random.csv		random.csv
related.html		related.html
results.html		results.html
rules.html		rules.html
satcomp16slides.pdf		satcomp16slides.pdf
sc2014-description-template.tgz		sc2014-description-template.tgz
solvers.html		solvers.html
sorttable.js		sorttable.js
sr15rules.html		sr15rules.html
submission.html		submission.html
tmp.html		tmp.html
tracks.html		tracks.html
welcome.html		welcome.html

About

SAT Competition 2016

Custom properties

0 stars

0 watching

Report repository

Releases

No releases published

Packages

Contributors

Languages