Commit 154e93fc authored by Pallav Agarwal's avatar Pallav Agarwal

Fix hardcoded master URL in satsolver article

parent 2f505a15
Pipeline #3996212 passed with stage
in 52 seconds
......@@ -93,7 +93,7 @@ decided to model the problem as a graph problem. More specifically, as a boolean
satisfiability problem.</p>
<p>So, long story short, here's what I did at
<a href="https://github.com/pallavagarwal07/SummerOfCode16/blob/master/satsolver/solver.py">https://github.com/pallavagarwal07/SummerOfCode16/blob/master/satsolver/solver.py</a>.</p>
<a href="https://github.com/pallavagarwal07/SummerOfCode16/blob/dd07d92004b60a00531881773ed6a0a1b41fbd35/Containers/scripts/FlagGenerator/solver.py">SummerOfCode16</a>.</p>
<p>We have five main kinds of operators.</p>
......
source 'https://rubygems.org'
ruby '2.1.10'
require 'json'
require 'open-uri'
......@@ -9,3 +10,6 @@ gem 'github-pages', versions['github-pages']
gem 'jekyll-assets'
gem 'jekyll-sitemap'
gem 'sanitize'
gem 'nokogumbo'
gem 'rdiscount'
gem 'pygments.rb'
GEM
remote: https://rubygems.org/
specs:
RedCloth (4.2.9)
activesupport (4.2.5)
activesupport (4.2.7)
i18n (~> 0.7)
json (~> 1.7, >= 1.7.7)
minitest (~> 5.1)
thread_safe (~> 0.3, >= 0.3.4)
tzinfo (~> 1.1)
addressable (2.3.8)
blankslate (2.1.2.4)
classifier-reborn (2.0.4)
fast-stemmer (~> 1.0)
addressable (2.4.0)
coffee-script (2.4.1)
coffee-script-source
execjs
coffee-script-source (1.10.0)
colorator (0.1)
concurrent-ruby (1.0.2)
crass (1.0.2)
ethon (0.8.0)
ethon (0.9.0)
ffi (>= 1.3.0)
execjs (2.6.0)
execjs (2.7.0)
extras (0.1.0)
forwardable-extended (~> 2.5)
faraday (0.9.2)
multipart-post (>= 1.2, < 3)
fast-stemmer (1.0.2)
fastimage (1.8.1)
addressable (~> 2.3, >= 2.3.5)
ffi (1.9.10)
fastimage (2.0.0)
addressable (~> 2)
ffi (1.9.14)
forwardable-extended (2.6.0)
gemoji (2.1.0)
github-pages (40)
RedCloth (= 4.2.9)
github-pages-health-check (= 0.5.3)
jekyll (= 2.4.0)
github-pages (89)
activesupport (= 4.2.7)
github-pages-health-check (= 1.1.0)
jekyll (= 3.1.6)
jekyll-coffeescript (= 1.0.1)
jekyll-feed (= 0.3.1)
jekyll-feed (= 0.5.1)
jekyll-gist (= 1.4.0)
jekyll-mentions (= 0.2.1)
jekyll-github-metadata (= 2.0.2)
jekyll-mentions (= 1.1.3)
jekyll-paginate (= 1.1.0)
jekyll-redirect-from (= 0.8.0)
jekyll-redirect-from (= 0.11.0)
jekyll-sass-converter (= 1.3.0)
jekyll-sitemap (= 0.9.0)
jemoji (= 0.5.0)
kramdown (= 1.9.0)
liquid (= 2.6.2)
maruku (= 0.7.0)
jekyll-seo-tag (= 2.0.0)
jekyll-sitemap (= 0.10.0)
jemoji (= 0.7.0)
kramdown (= 1.11.1)
liquid (= 3.0.6)
listen (= 3.0.6)
mercenary (~> 0.3)
pygments.rb (= 0.6.3)
rdiscount (= 2.1.8)
redcarpet (= 3.3.3)
rouge (= 1.11.1)
terminal-table (~> 1.4)
github-pages-health-check (0.5.3)
github-pages-health-check (1.1.0)
addressable (~> 2.3)
net-dns (~> 0.8)
octokit (~> 4.0)
public_suffix (~> 1.4)
typhoeus (~> 0.7)
hike (1.2.3)
html-pipeline (1.9.0)
html-pipeline (2.4.2)
activesupport (>= 2)
nokogiri (~> 1.4)
nokogiri (>= 1.4)
i18n (0.7.0)
jekyll (2.4.0)
classifier-reborn (~> 2.0)
jekyll (3.1.6)
colorator (~> 0.1)
jekyll-coffeescript (~> 1.0)
jekyll-gist (~> 1.0)
jekyll-paginate (~> 1.0)
jekyll-sass-converter (~> 1.0)
jekyll-watch (~> 1.1)
kramdown (~> 1.3)
liquid (~> 2.6.1)
liquid (~> 3.0)
mercenary (~> 0.3.3)
pygments.rb (~> 0.6.0)
redcarpet (~> 3.1)
rouge (~> 1.7)
safe_yaml (~> 1.0)
toml (~> 0.1.0)
jekyll-assets (1.0.0)
fastimage (~> 1.6)
jekyll (>= 2)
mini_magick (~> 4.1)
sass (~> 3.2)
sprockets (~> 2.10)
sprockets-helpers
sprockets-sass
jekyll-assets (2.2.8)
extras (~> 0.1)
fastimage (~> 2.0, >= 1.8)
jekyll (~> 3.1, >= 3.0)
pathutil (>= 0.8)
rack (> 1, < 2)
sprockets (~> 3.3, < 3.7)
jekyll-coffeescript (1.0.1)
coffee-script (~> 2.2)
jekyll-feed (0.3.1)
jekyll-feed (0.5.1)
jekyll-gist (1.4.0)
octokit (~> 4.2)
jekyll-mentions (0.2.1)
html-pipeline (~> 1.9.0)
jekyll (~> 2.0)
jekyll-github-metadata (2.0.2)
jekyll (~> 3.1)
octokit (~> 4.0)
jekyll-mentions (1.1.3)
html-pipeline (~> 2.3)
jekyll (~> 3.0)
jekyll-paginate (1.1.0)
jekyll-redirect-from (0.8.0)
jekyll-redirect-from (0.11.0)
jekyll (>= 2.0)
jekyll-sass-converter (1.3.0)
sass (~> 3.2)
jekyll-sitemap (0.9.0)
jekyll-watch (1.3.0)
listen (~> 3.0)
jemoji (0.5.0)
jekyll-seo-tag (2.0.0)
jekyll (~> 3.1)
jekyll-sitemap (0.10.0)
jekyll-watch (1.5.0)
listen (~> 3.0, < 3.1)
jemoji (0.7.0)
activesupport (~> 4.0)
gemoji (~> 2.0)
html-pipeline (~> 1.9)
jekyll (>= 2.0)
html-pipeline (~> 2.2)
jekyll (>= 3.0)
json (1.8.3)
kramdown (1.9.0)
liquid (2.6.2)
listen (3.0.5)
kramdown (1.11.1)
liquid (3.0.6)
listen (3.0.6)
rb-fsevent (>= 0.9.3)
rb-inotify (>= 0.9)
maruku (0.7.0)
mercenary (0.3.5)
mini_magick (4.3.6)
mini_portile2 (2.0.0)
minitest (5.8.3)
multi_json (1.11.2)
rb-inotify (>= 0.9.7)
mercenary (0.3.6)
mini_portile2 (2.1.0)
minitest (5.9.0)
multipart-post (2.0.0)
net-dns (0.8.0)
nokogiri (1.6.7)
mini_portile2 (~> 2.0.0.rc2)
nokogumbo (1.4.6)
nokogiri (1.6.8)
mini_portile2 (~> 2.1.0)
pkg-config (~> 1.1.7)
nokogumbo (1.4.9)
nokogiri
octokit (4.2.0)
sawyer (~> 0.6.0, >= 0.5.3)
octokit (4.3.0)
sawyer (~> 0.7.0, >= 0.5.3)
paginator (1.2.0)
parslet (1.5.0)
blankslate (~> 2.0)
pathutil (0.14.0)
forwardable-extended (~> 2.6)
pkg-config (1.1.7)
posix-spawn (0.3.11)
public_suffix (1.5.2)
public_suffix (1.5.3)
pygments.rb (0.6.3)
posix-spawn (~> 0.3.6)
yajl-ruby (~> 1.2.0)
rack (1.6.4)
rb-fsevent (0.9.6)
rb-inotify (0.9.5)
rb-fsevent (0.9.7)
rb-inotify (0.9.7)
ffi (>= 0.5.0)
rdiscount (2.1.8)
redcarpet (3.3.3)
rdiscount (2.2.0.1)
rouge (1.11.1)
safe_yaml (1.0.4)
sanitize (4.0.1)
sanitize (4.1.0)
crass (~> 1.0.2)
nokogiri (>= 1.4.4)
nokogumbo (~> 1.4.1)
sass (3.4.20)
sawyer (0.6.0)
addressable (~> 2.3.5)
sass (3.4.22)
sawyer (0.7.0)
addressable (>= 2.3.5, < 2.5)
faraday (~> 0.8, < 0.10)
sprockets (2.12.4)
hike (~> 1.2)
multi_json (~> 1.0)
rack (~> 1.0)
tilt (~> 1.1, != 1.3.0)
sprockets-helpers (1.2.1)
sprockets (>= 2.2)
sprockets-sass (1.3.1)
sprockets (~> 2.0)
tilt (~> 1.1)
terminal-table (1.5.2)
sprockets (3.6.3)
concurrent-ruby (~> 1.0)
rack (> 1, < 3)
terminal-table (1.6.0)
thread_safe (0.3.5)
tilt (1.4.1)
toml (0.1.2)
parslet (~> 1.5.0)
typhoeus (0.8.0)
ethon (>= 0.8.0)
tzinfo (1.2.2)
......@@ -170,10 +157,18 @@ PLATFORMS
ruby
DEPENDENCIES
github-pages (= 40)
github-pages (= 89)
jekyll-assets
jekyll-sitemap
jekyll-watch
json
nokogumbo
paginator
pygments.rb
rdiscount
sanitize
RUBY VERSION
ruby 2.1.10p492
BUNDLED WITH
1.12.5
# pallavagarwal07.gitlab.io
# pallavagarwal07.github.io
The website is live at www.varstack.com
......@@ -85,7 +85,7 @@ loadCSS( "/css/search.css", document.getElementById("loadcss"));
<br />
<div class='tags'>
flag:26, operator:9, USE:8, combination:5, problem:4, bracket:4, number:3, formula:3, USE flags:3, CNF:3, flag 1 flag 2 flag 3 operator:2, default flags:2, USE flag combinations:2, CNF formula:2, portage API:1, parent bracket:1, implication operator:1, https github:1, graph problem:1, flag 2 flag 3 operator:1, flag 1 operator:1, flag 1 flag 2 operator:1, flag 1:1, flag 1:1, combination os USE flags:1, boolean satisfiability problem:1, b c:1, XOR operator:1, USE flag combo:1, USE flag:1, SAT formula:1, REQUIRED _USE:1, Harald Timeraider:1, CNF form:1, 1 from n operation:1,
flag:26, operator:9, USE:8, combination:5, problem:4, bracket:4, number:3, formula:3, USE flags:3, CNF:3, flag 1 flag 2 flag 3 operator:2, default flags:2, USE flag combinations:2, CNF formula:2, portage API:1, parent bracket:1, implication operator:1, graph problem:1, flag 2 flag 3 operator:1, flag 1 operator:1, flag 1 flag 2 operator:1, flag 1:1, flag 1:1, combination os USE flags:1, boolean satisfiability problem:1, b c:1, XOR operator:1, USE flag combo:1, USE flag:1, SummerOfCode 16:1, SAT formula:1, REQUIRED _USE:1, Harald Timeraider:1, CNF form:1, 1 from n operation:1,
</div>
</div>
......
......@@ -98,20 +98,20 @@
<loc>http://www.varstack.com/tips/</loc>
</url>
<url>
<loc>http://www.varstack.com/algo/</loc>
<loc>http://www.varstack.com/about_me/</loc>
</url>
<url>
<loc>http://www.varstack.com/gsoc/</loc>
</url>
<url>
<loc>http://www.varstack.com/about_me/</loc>
<loc>http://www.varstack.com/algo/</loc>
</url>
<url>
<loc>http://www.varstack.com/404.html</loc>
<lastmod>2016-05-08T00:16:45+05:30</lastmod>
<lastmod>2016-08-20T18:23:30+05:30</lastmod>
</url>
<url>
<loc>http://www.varstack.com/google9e4f8c5b081efbdd.html</loc>
<lastmod>2016-05-06T16:16:00+05:30</lastmod>
<lastmod>2016-08-20T18:22:16+05:30</lastmod>
</url>
</urlset>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment