Deploying to gh-pages from @ e516cd7 🚀

neuroneural · Feb 21, 2024 · 1b61f17 · 1b61f17
1 parent 6e1c2d7
commit 1b61f17
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/_modules/gunfolds/utils/clingo.html b/docs/_modules/gunfolds/utils/clingo.html
@@ -404,7 +404,7 @@ <h1>Source code for gunfolds.utils.clingo</h1><div class="highlight"><pre>
         <span class="k">return</span> <span class="p">{}</span>
     <span class="k">else</span><span class="p">:</span>
         <span class="k">if</span> <span class="ow">not</span> <span class="n">exact</span><span class="p">:</span>
-            <span class="n">r</span> <span class="o">=</span> <span class="p">{(</span><span class="n">convert</span><span class="p">(</span><span class="n">value</span><span class="p">[</span><span class="mi">0</span><span class="p">]),</span> <span class="n">value</span><span class="p">[</span><span class="mi">1</span><span class="p">][</span><span class="mi">0</span><span class="p">])</span> <span class="k">for</span> <span class="n">value</span> <span class="ow">in</span> <span class="n">result</span><span class="p">[</span><span class="mi">0</span><span class="p">]}</span>
+            <span class="n">r</span> <span class="o">=</span> <span class="p">{(</span><span class="n">convert</span><span class="p">(</span><span class="n">value</span><span class="p">[</span><span class="mi">0</span><span class="p">]),</span> <span class="nb">sum</span><span class="p">(</span><span class="n">value</span><span class="p">[</span><span class="mi">1</span><span class="p">]))</span> <span class="k">for</span> <span class="n">value</span> <span class="ow">in</span> <span class="n">result</span><span class="p">[</span><span class="mi">0</span><span class="p">]}</span>
         <span class="k">else</span><span class="p">:</span>
             <span class="n">r</span> <span class="o">=</span> <span class="p">{</span><span class="n">convert</span><span class="p">(</span><span class="n">value</span><span class="p">[</span><span class="mi">0</span><span class="p">])</span> <span class="k">for</span> <span class="n">value</span> <span class="ow">in</span> <span class="n">result</span><span class="p">[</span><span class="mi">0</span><span class="p">]}</span>
     <span class="k">return</span> <span class="n">r</span></div>