2021

Public

• NotificationsYou must be signed in to change notification settings
• Fork1 (1)
• Star5 (5)You must be signed in to star a repository

About

SAT Competition 2021

satcompetition.github.io/2021/

Topics

competitionsatsolving

Activity

Custom properties

Stars

5 stars

Watchers

5 watching

Forks

1 fork

Report repository

master

BranchesTags

Go to file

Code

Open more actions menu

Latest commit

 

History

40 Commits

40 Commits

Folders and files

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

About

SAT Competition 2021

satcompetition.github.io/2021/

Topics

competitionsatsolving

Activity

Custom properties

Stars

5 stars

Watchers

5 watching

Forks

1 fork

Report repository

Releases

Packages

Contributors

Languages

Generated from satcompetition/template