Commit 46bf7387 authored by Pallav Agarwal's avatar Pallav Agarwal

Add SAT Solver post

parent 0b34f9ce
Pipeline #2989593 passed with stage
This diff is collapsed.
......@@ -69,7 +69,16 @@ loadCSS( "/css/style.css", document.getElementById("loadcss"));
<hr />
<div class="row text-justify" id="content-holder">
<div class="col-md-12">
<p><strong><a href="/2016/04/30/Google-Summer-of-Code-with-Gentoo/">GOOGLE SUMMER OF CODE WITH GENTOO</a></strong></p>
<p><strong><a href="/2016/05/13/SAT-Solver/">DETERMINING LEGAL USE FLAG COMBINATIONS USING A CNF SAT SOLVER</a></strong></p>
<p>I spent my time doing something rather interesting today.</p>
<p> <p>In my proposal, I had mentioned that the USE flag combinations to be tested would be:</p> <blockquote><p>Without any USE flag turned on</p> <p>With all USE flags turned on</p> <p>Few random combinations based on default flags, or inverse of default flags or those generated by tatt.</p></blockquote> <p>Yesterday, a guy, Harald Timeraider pointed out that some of the USE flag combinations given by...</p></p>
<p><br /></p>
<p><strong><a href="/2016/04/30/Google-Summer-of-Code-with-Gentoo/">GOOGLE SUMMER OF CODE WITH GENTOO</a></strong></p>
<p>I am excited to say that I've been accepted for this year's summer of code under Gentoo Organisation. This section of the blog will be dedicated to documenting anything and everything I learn that is interesting or remotely related to my project.</p>
......
......@@ -74,6 +74,15 @@ loadCSS( "/css/style.css", document.getElementById("loadcss"));
<div class="row text-justify" id="content-holder">
<div class="col-md-12">
<a href="/2016/05/13/SAT-Solver/">DETERMINING LEGAL USE FLAG COMBINATIONS USING A CNF SAT SOLVER</a>
<p class="author" style="text-align: right;">
<span class="date">May 13, 2016</span>
</p>
<div class="content">
<p>I spent my time doing something rather interesting today.</p> <p>In my proposal, I had mentioned that the USE flag combinations to be tested would be:</p> <blockquote><p>Without any USE flag turned on</p> <p>With all USE flags turned on</p> <p>Few random combinations based on default flags, or inverse of default flags or those generated by tatt.</p></blockquote> <p>Yesterday, a guy, Harald Timeraider pointed out that some of the USE flag combinations given by the above rules may not be legal. For example, if an ebuild specifies <code>REQUIRED_USE="^^ (a b c)"</code> then EXACTLY one flag out of <code>a</code>, <code>b</code>, and <code>c</code> should be enabled....
</div>
<br /><br />
<a href="/2016/05/06/Ultimate-control-over-mobile-browser/">ULTIMATE CONTROL OVER MOBILE BROWSER WITH FIREFOX</a>
<p class="author" style="text-align: right;">
<span class="date">May 06, 2016</span>
......@@ -165,20 +174,11 @@ For example,</p>
</div>
<br /><br />
<a href="/2015/08/01/SSH-from-Windows/">USING SSH FROM WINDOWS 10 WITHOUT PUTTY</a>
<p class="author" style="text-align: right;">
<span class="date">Aug 01, 2015</span>
</p>
<div class="content">
<p>With the recent upgrade to Windows 10, Microsoft fixed many of the things that I despised in Windows 8. I don't usually use Windows if I can avoid it, but unfortunately, some of my work requires me to use it anyway. For those times, one of the basic needs for me is an SSH client. A <em>LOT</em> of the time I'm programming directly on a SSHed server machine.</p> <p>Till a few days ago, this meant that I had to use PuTTY everytime I had to use SSH from Windows. If you have ever used PuTTY, you'd know that it isn't...
</div>
<br /><br />
<!-- Pagination links -->
<div class="pagination" style="text-align: center; width: 100%;">
<span class="page_number ">Page: 1 of 2</span>
<span class="page_number ">Page: 1 of 3</span>
<a href="/page2" class="next">Next</a>
......
......@@ -74,6 +74,15 @@ loadCSS( "/css/style.css", document.getElementById("loadcss"));
<div class="row text-justify" id="content-holder">
<div class="col-md-12">
<a href="/2015/08/01/SSH-from-Windows/">USING SSH FROM WINDOWS 10 WITHOUT PUTTY</a>
<p class="author" style="text-align: right;">
<span class="date">Aug 01, 2015</span>
</p>
<div class="content">
<p>With the recent upgrade to Windows 10, Microsoft fixed many of the things that I despised in Windows 8. I don't usually use Windows if I can avoid it, but unfortunately, some of my work requires me to use it anyway. For those times, one of the basic needs for me is an SSH client. A <em>LOT</em> of the time I'm programming directly on a SSHed server machine.</p> <p>Till a few days ago, this meant that I had to use PuTTY everytime I had to use SSH from Windows. If you have ever used PuTTY, you'd know that it isn't...
</div>
<br /><br />
<a href="/2015/07/27/Boost-Python-Performance/">CYTHON: BOOST PYTHON CODE PERFORMANCE</a>
<p class="author" style="text-align: right;">
<span class="date">Jul 27, 2015</span>
......@@ -155,22 +164,15 @@ loadCSS( "/css/style.css", document.getElementById("loadcss"));
</div>
<br /><br />
<a href="/2015/06/18/IIT-Kanpur/">IIT KANPUR: THE FIRST YEAR</a>
<p class="author" style="text-align: right;">
<span class="date">Jun 18, 2015</span>
</p>
<div class="content">
<p>First of all, I think congratulations are in order. If you are reading this, you have probably cracked one of the toughest exams in the world. After two years of hard work and challenges, you have finally succeeded! You have made it to one of the world's finest engineering colleges, the Indian Institutes of Technology.</p> <p>Last two years must have been tough for you. You sacrificed on interaction with friends, computer games, movies, parties and what-nots. Now that the results of JEE Advanced are out, the time for an important decision has come. You have to choose which IIT and...
</div>
<br /><br />
<!-- Pagination links -->
<div class="pagination" style="text-align: center; width: 100%;">
<a href="/" class="previous">Previous</a>
<span class="page_number ">Page: 2 of 2</span>
<span class="page_number ">Page: 2 of 3</span>
<a href="/page3" class="next">Next</a>
</div>
......
This diff is collapsed.
......@@ -74,6 +74,22 @@ loadCSS( "/css/search.css", document.getElementById("loadcss"));
<div class="row text-justify" id="content-holder">
<div class="col-md-12">
<div class="post">
<a href="/2016/05/13/SAT-Solver/" class='shead'>
Determining legal USE Flag combinations using a CNF SAT Solver
</a>
<br />
<div class="excerpt">
I spent my time doing something rather interesting today. In my proposal, I had mentioned that the USE flag combinations to be tested would be:.......the eyes in the form of numbers. If you have any queries, post them below or open up an issue on github. Thanks for reading
</div>
<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,
</div>
</div>
<div class="post">
<a href="/2016/05/06/Ultimate-control-over-mobile-browser/" class='shead'>
Ultimate control over Mobile Browser with Firefox
......
<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
<url>
<loc>http://www.varstack.com/2016/05/13/SAT-Solver/</loc>
<lastmod>2016-05-13T00:00:00+05:30</lastmod>
</url>
<url>
<loc>http://www.varstack.com/2016/05/06/Ultimate-control-over-mobile-browser/</loc>
<lastmod>2016-05-06T00:00:00+05:30</lastmod>
</url>
......@@ -100,7 +104,7 @@
</url>
<url>
<loc>http://www.varstack.com/404.html</loc>
<lastmod>2016-05-06T20:03:40+05:30</lastmod>
<lastmod>2016-05-08T00:16:45+05:30</lastmod>
</url>
<url>
<loc>http://www.varstack.com/google9e4f8c5b081efbdd.html</loc>
......
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