GitHub - satlive/satlive.github.io: SAT Live! web site · GitHub

Name		Name	Last commit message	Last commit date
_includes		_includes
_layouts		_layouts
_posts		_posts
_sass		_sass
_solvers		_solvers
css		css
fonts		fonts
js		js
README.md		README.md
SAT-Logo.png		SAT-Logo.png
_config.yml		_config.yml
about.md		about.md
asp.html		asp.html
awards.html		awards.html
benchmarks.html		benchmarks.html
cfp.html		cfp.html
cfw.html		cfw.html
competition.html		competition.html
contribute.md		contribute.md
course.html		course.html
deadline.html		deadline.html
distinction.html		distinction.html
event.html		event.html
feed.xml		feed.xml
grants.html		grants.html
index.html		index.html
modal-logic.html		modal-logic.html
pbo.html		pbo.html
phd.html		phd.html
position.html		position.html
postdoc.html		postdoc.html
qbf.html		qbf.html
registration.html		registration.html
solvers.html		solvers.html
tools.html		tools.html

Repository files navigation

This repository contains the SAT Live! web site as Jekyll source.

This git repository can be used to submit news to the website using pull requests or providing feedback using the issue tracker.

About

SAT Live! web site

0 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages