SAT Live! web site
HTML CSS JavaScript ApacheConf
Latest commit d022871 Feb 25, 2017 @satlive committed on GitHub Merge pull request #33 from Mystelven/master
TABLEAUX-2017
Permalink
Failed to load latest commit information.
_includes Problem with the rights, sorry about that :) Mar 10, 2016
_layouts Problem with a book image Feb 23, 2017
_posts Merge pull request #4 from satlive/master Feb 23, 2017
_sass Problem with the rights, sorry about that :) Mar 10, 2016
_solvers adding gini solver Aug 1, 2016
css Problem with the rights, sorry about that :) Mar 10, 2016
fonts Problem with the rights, sorry about that :) Mar 10, 2016
js Problem with the rights, sorry about that :) Mar 10, 2016
.DS_Store Fix of the issue #13, a category Modal-SAT to list solvers for modal … Jul 13, 2015
.gitignore first Jeckyll version of SAT Live Dec 20, 2014
.htaccess updated new content Jun 12, 2015
README.md Problem with the rights, sorry about that :) Mar 10, 2016
SAT-Logo.png Problem with the rights, sorry about that :) Mar 10, 2016
_config.yml Problem with the rights, sorry about that :) Mar 10, 2016
about.md Problem with the rights, sorry about that :) Mar 10, 2016
asp.html Added QBF/SAT/PostDoc Dec 20, 2016
awards.html Problem with the rights, sorry about that :) Mar 10, 2016
benchmarks.html Problem with the rights, sorry about that :) Mar 10, 2016
cfp.html Problem with the rights, sorry about that :) Mar 10, 2016
cfw.html Problem with the rights, sorry about that :) Mar 10, 2016
competition.html Problem with the rights, sorry about that :) Mar 10, 2016
contribute.md Problem with the rights, sorry about that :) Mar 10, 2016
course.html Problem with the rights, sorry about that :) Mar 10, 2016
deadline.html Problem with the rights, sorry about that :) Mar 10, 2016
distinction.html Problem with the rights, sorry about that :) Mar 10, 2016
event.html Problem with the rights, sorry about that :) Mar 10, 2016
feed.xml Problem with the rights, sorry about that :) Mar 10, 2016
grants.html Problem with the rights, sorry about that :) Mar 10, 2016
index.html Problem with the rights, sorry about that :) Mar 10, 2016
modal-logic.html Problem with the rights, sorry about that :) Mar 10, 2016
pbo.html Problem with the rights, sorry about that :) Mar 10, 2016
phd.html Problem with the rights, sorry about that :) Mar 10, 2016
position.html Problem with the rights, sorry about that :) Mar 10, 2016
postdoc.html Problem with the rights, sorry about that :) Mar 10, 2016
qbf.html Problem with the rights, sorry about that :) Mar 10, 2016
registration.html Problem with the rights, sorry about that :) Mar 10, 2016
solvers.html Add tusSAT solver Apr 14, 2016
tools.html Problem with the rights, sorry about that :) Mar 10, 2016

README.md

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.