2020

Public

• NotificationsYou must be signed in to change notification settings
• Fork2 (2)
• Star3 (3)You must be signed in to star a repository

About

SAT Competition 2020

satcompetition.github.io/2020

Topics

competitionsatsolver

Activity

Custom properties

Stars

3 stars

Watchers

2 watching

Forks

2 forks

Report repository

master

BranchesTags

Go to file

Code

Open more actions menu

Latest commit

 

History

316 Commits

316 Commits

Folders and files

Name		Name	Last commit message	Last commit date
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
View all files

About

SAT Competition 2020

satcompetition.github.io/2020

Topics

competitionsatsolver

Activity

Custom properties

Stars

3 stars

Watchers

2 watching

Forks

2 forks

Report repository

Releases

Packages

Contributors

Languages