PageSourceSearch

https://pysathq.github.io/docs/html/

html pysathq.github.io collected 2026-10-03 09:47:54 UTC 25,683 bytes, 530 lines download raw bytes

1
2<!DOCTYPE html>
3
4
5<html lang="en" data-content_root="./" data-theme="auto">
6
7  <head>
8    <meta charset="utf-8" />
9    <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="viewport" content="width=device-width, initial-scale=1" />
10
11    <title>Welcome to PySAT’s documentation! &#8212; PySAT 1.9.dev15 documentation</title>
12  
13  
14  
15  
15<script data-cfasync="false">
16    document.documentElement.dataset.mode = localStorage.getItem("mode") || "auto";
17    document.documentElement.dataset.theme = localStorage.getItem("theme") || "auto";
18  </script>
18
19  <!--
20    this give us a css class that will be invisible only if js is disabled
21  -->
22  <noscript>
23    <style>
24      .pst-js-only { display: none !important; }
25
26    </style>
27  </noscript>
28  
29  <!-- Loaded before other Sphinx assets -->
30  <link href="_static/styles/theme.css?digest=90905a2f556bf617f1a9" rel="stylesheet" />
31<link href="_static/styles/pydata-sphinx-theme.css?digest=90905a2f556bf617f1a9" rel="stylesheet" />
32
33    <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
34  
35  <!-- So that users can add custom icons -->
36  
36<script defer src="_static/scripts/fontawesome.js?digest=90905a2f556bf617f1a9"></script>
36
37  <!-- Pre-loaded scripts that we'll load fully later -->
38  <link rel="preload" as="script" href="_static/scripts/bootstrap.js?digest=90905a2f556bf617f1a9" />
39<link rel="preload" as="script" href="_static/scripts/pydata-sphinx-theme.js?digest=90905a2f556bf617f1a9" />
40
41    
41<script src="_static/documentation_options.js?v=1ed85331"></script>
41
42    
42<script src="_static/doctools.js?v=9bcbadda"></script>
42
43    
43<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
43
44    
44<script>DOCUMENTATION_OPTIONS.pagename = 'index';</script>
44
45    
45<script>DOCUMENTATION_OPTIONS.search_as_you_type = false;</script>
45
46    <link rel="icon" href="_static/favicon.ico"/>
47    <link rel="index" title="Index" href="genindex.html" />
48    <link rel="search" title="Search" href="search.html" />
49    <link rel="next" title="Cardinality encodings (pysat.card)" href="api/card.html" />
50  <meta name="viewport" content="width=device-width, initial-scale=1"/>
51  <meta name="docsearch:language" content="en"/>
52  <meta name="docsearch:version" content="" />
53  
54    
55    
55<script src="_static/searchtools.js"></script>
55
56    
56<script src="_static/language_data.js"></script>
56
57    
57<script src="searchindex.js"></script>
57
58  
59  </head>
60  <body data-default-mode="auto">
61  
62  
63  <div id="pst-skip-link" class="skip-link d-print-none"><a href="#main-content">Skip to main content</a></div>
64
65  
66  <div id="pst-scroll-pixel-helper"></div>
67  
68  <button type="button" class="btn rounded-pill" id="pst-back-to-top">
69    <i class="fa-solid fa-arrow-up"></i>Back to top</button>
70  
71  
72  
73  
74  <dialog id="pst-search-dialog">
75    
76<form class="bd-search d-flex align-items-center"
77      action="search.html"
78      method="get">
79  <i class="fa-solid fa-magnifying-glass"></i>
80  <input type="search"
81         class="form-control"
82         name="q"
83         placeholder="Search the docs ..."
84         aria-label="Search the docs ..."
85         autocomplete="off"
86         autocorrect="off"
87         autocapitalize="off"
88         spellcheck="false"/>
89  <span class="search-button__kbd-shortcut"><kbd class="kbd-shortcut__modifier">Ctrl</kbd>+<kbd>K</kbd></span>
90</form>
91  </dialog>
92
93  <div class="pst-async-banner-revealer d-none">
94  <aside id="bd-header-version-warning" class="d-none d-print-none" aria-label="Version warning"></aside>
95</div>
96
97  
98    <header id="pst-header" class="bd-header navbar navbar-expand-lg bd-navbar d-print-none">
99<div class="bd-header__inner bd-page-width">
100  <button class="pst-navbar-icon sidebar-toggle primary-toggle" aria-label="Site navigation">
101    <span class="fa-solid fa-bars"></span>
102  </button>
103  
104  
105  <div class="col-lg-3 navbar-header-items__start">
106    
107      <div class="navbar-item">
108
109  
110
111<a class="navbar-brand logo" href="https://pysathq.github.io">
112  
113  
114  
115  
116  
117    
118    
119      
120    
121    
122    <img src="_static/logo-dark.svg" class="logo__image only-light" alt="PySAT 1.9.dev15 documentation - Home"/>
123    <img src="_static/logo-dark.svg" class="logo__image only-dark pst-js-only" alt="PySAT 1.9.dev15 documentation - Home"/>
124  
125  
126</a></div>
127    
128  </div>
129  
130  <div class="col-lg-9 navbar-header-items">
131    
132    <div class="me-auto navbar-header-items__center">
133      
134        <div class="navbar-item"><!-- This will display the version of the docs -->
135<a href=><strong>PySAT Documentation (version 1.9.dev15)</strong></a></div>
136      
137    </div>
138    
139    
140    <div class="navbar-header-items__end">
141      
142        <div class="navbar-item navbar-persistent--container">
143          
144
145<button class="btn search-button-field search-button__button pst-js-only" title="Search" aria-label="Search" data-bs-placement="bottom" data-bs-toggle="tooltip">
146 <i class="fa-solid fa-magnifying-glass"></i>
147 <span class="search-button__default-text">Search</span>
148 <span class="search-button__kbd-shortcut"><kbd class="kbd-shortcut__modifier">Ctrl</kbd>+<kbd class="kbd-shortcut__modifier">K</kbd></span>
149</button>
150<script>
151    (function() {
152        var btn = document.currentScript.previousElementSibling;
153
154        btn.addEventListener("click", function() {
155            var toggle = document.querySelector(".primary-toggle");
156            if(!toggle.checkVisibility()) return;
157            toggle.click();
158        }, true);
159    })();
160</script>
160
161        </div>
162      
163      
164        <div class="navbar-item"><ul class="navbar-icon-links"
165    aria-label="Icon Links">
166        <li class="nav-item">
167          
168          
169          
170          
171          
172          
173          
174          
175          <a href="https://github.com/pysathq/pysat" title="GitHub" class="nav-link pst-navbar-icon" rel="noopener" target="_blank" data-bs-toggle="tooltip" data-bs-placement="bottom"><i class="fa-brands fa-square-github fa-lg" aria-hidden="true"></i><span class="visually-hidden">GitHub</span></a>
176        </li>
177        <li class="nav-item">
178          
179          
180          
181          
182          
183          
184          
185          
186          <a href="https://pysathq.github.io/docs/pysat.pdf" title="PDF" class="nav-link pst-navbar-icon" rel="noopener" target="_blank" data-bs-toggle="tooltip" data-bs-placement="bottom"><i class="fas fa-file fa-lg" aria-hidden="true"></i><span class="visually-hidden">PDF</span></a>
187        </li>
188        <li class="nav-item">
189          
190          
191          
192          
193          
194          
195          
196          
197          <a href="https://github.com/pysathq/pysat/issues" title="Issue tracker" class="nav-link pst-navbar-icon" rel="noopener" target="_blank" data-bs-toggle="tooltip" data-bs-placement="bottom"><i class="fas fa-bug fa-lg" aria-hidden="true"></i><span class="visually-hidden">
197Issue tracker</span></a>
198        </li>
199</ul></div>
200      
201    </div>
202    
203  </div>
204  
205  
206    <div class="navbar-persistent--mobile">
207
208<button class="btn search-button-field search-button__button pst-js-only" title="Search" aria-label="Search" data-bs-placement="bottom" data-bs-toggle="tooltip">
209 <i class="fa-solid fa-magnifying-glass"></i>
210 <span class="search-button__default-text">Search</span>
211 <span class="search-button__kbd-shortcut"><kbd class="kbd-shortcut__modifier">Ctrl</kbd>+<kbd class="kbd-shortcut__modifier">K</kbd></span>
212</button>
213<script>
214    (function() {
215        var btn = document.currentScript.previousElementSibling;
216
217        btn.addEventListener("click", function() {
218            var toggle = document.querySelector(".primary-toggle");
219            if(!toggle.checkVisibility()) return;
220            toggle.click();
221        }, true);
222    })();
223</script>
223
224    </div>
225  
226
227  
228    <button class="pst-navbar-icon sidebar-toggle secondary-toggle" aria-label="On this page">
229      <span class="fa-solid fa-outdent"></span>
230    </button>
231  
232</div>
233
234    </header>
235  
236
237  <div class="bd-container">
238    <div class="bd-container__inner bd-page-width">
239      
240      
241      
242        
243      
244      <dialog id="pst-primary-sidebar-modal"></dialog>
245      <div id="pst-primary-sidebar" class="bd-sidebar-primary bd-sidebar">
246        
247
248  
249  <div class="sidebar-header-items sidebar-primary__section">
250    
251    
252      <div class="sidebar-header-items__center">
253        
254          
255          
256            <div class="navbar-item"><!-- This will display the version of the docs -->
257<a href=><strong>PySAT Documentation (version 1.9.dev15)</strong></a></div>
258          
259        
260      </div>
261    
262    
263    
264      <div class="sidebar-header-items__end">
265        
266          <div class="navbar-item"><ul class="navbar-icon-links"
267    aria-label="Icon Links">
268        <li class="nav-item">
269          
270          
271          
272          
273          
274          
275          
276          
277          <a href="https://github.com/pysathq/pysat" title="GitHub" class="nav-link pst-navbar-icon" rel="noopener" target="_blank" data-bs-toggle="tooltip" data-bs-placement="bottom"><i class="fa-brands fa-square-github fa-lg" aria-hidden="true"></i><span class="visually-hidden">GitHub</span></a>
278        </li>
279        <li class="nav-item">
280          
281          
282          
283          
284          
285          
286          
287          
288          <a href="https://pysathq.github.io/docs/pysat.pdf" title="PDF" class="nav-link pst-navbar-icon" rel="noopener" target="_blank" data-bs-toggle="tooltip" data-bs-placement="bottom"><i class="fas fa-file fa-lg" aria-hidden="true"></i><span class="visually-hidden">PDF</span></a>
289        </li>
290        <li class="nav-item">
291          
292          
293          
294          
295          
296          
297          
298          
299          <a href="https://github.com/pysathq/pysat/issues" title="Issue tracker" class="nav-link pst-navbar-icon" rel="noopener" target="_blank" data-bs-toggle="tooltip" data-bs-placement="bottom"><i class="fas fa-bug fa-lg" aria-hidden="true"></i><span class="visually-hidden">
299Issue tracker</span></a>
300        </li>
301</ul></div>
302        
303      </div>
304    
305  </div>
306  
307    <div class="sidebar-primary-items__start sidebar-primary__section">
308        <div class="sidebar-primary-item">
309<form class="bd-search d-flex align-items-center"
310      action="search.html"
311      method="get">
312  <i class="fa-solid fa-magnifying-glass"></i>
313  <input type="search"
314         class="form-control"
315         name="q"
316         placeholder="Search the docs ..."
317         aria-label="Search the docs ..."
318         autocomplete="off"
319         autocorrect="off"
320         autocapitalize="off"
321         spellcheck="false"/>
322  <span class="search-button__kbd-shortcut"><kbd class="kbd-shortcut__modifier">Ctrl</kbd>+<kbd>K</kbd></span>
323</form></div>
324    </div>
325  
326  
327  <div class="sidebar-primary-items__end sidebar-primary__section">
328      <div class="sidebar-primary-item">
329<div id="ethical-ad-placement"
330      class="flat"
331      data-ea-publisher="readthedocs"
332      data-ea-type="readthedocs-sidebar"
333      data-ea-manual="true">
334</div></div>
335  </div>
336
337
338      </div>
339      
340      <main id="main-content" class="bd-main" role="main">
341        
342        
343          <div class="bd-content">
344            <div class="bd-article-container">
345              
346              <div class="bd-header-article d-print-none"></div>
347              
348              
349              
350                
351<div id="searchbox"></div>
352                <article class="bd-article">
353                  
354  <section id="welcome-to-pysat-s-documentation">
355<h1>Welcome to PySAT’s documentation!<a class="headerlink" href="#welcome-to-pysat-s-documentation" title="Link to this heading">#</a></h1>
356<p>This site covers the usage and API documentation of the PySAT toolkit. For the
357basic information on what PySAT is, please, see <a class="reference external" href="https://pysathq.github.io">the main project website</a>.</p>
358<section id="api-documentation">
359<h2>API documentation<a class="headerlink" href="#api-documentation" title="Link to this heading">#</a></h2>
360<p>The PySAT toolkit has seven core modules: <a class="reference internal" href="api/card.html#module-pysat.card" title="pysat.card"><code class="xref py py-mod docutils literal notranslate"><span class="pre">card</span></code></a>, <a class="reference internal" href="api/engines.html#module-pysat.engines" title="pysat.engines"><code class="xref py py-mod docutils literal notranslate"><span class="pre">engines</span></code></a>,
361<a class="reference internal" href="api/formula.html#module-pysat.formula" title="pysat.formula"><code class="xref py py-mod docutils literal notranslate"><span class="pre">formula</span></code></a>, <a class="reference internal" href="api/integer.html#module-pysat.integer" title="pysat.integer"><code class="xref py py-mod docutils literal notranslate"><span class="pre">integer</span></code></a>, <a class="reference internal" href="api/pb.html#module-pysat.pb" title="pysat.pb"><code class="xref py py-mod docutils literal notranslate"><span class="pre">pb</span></code></a>, <a class="reference internal" href="api/process.html#module-pysat.process" title="pysat.process"><code class="xref py py-mod docutils literal notranslate"><span class="pre">process</span></code></a> and
362<a class="reference internal" href="api/solvers.html#module-pysat.solvers" title="pysat.solvers"><code class="xref py py-mod docutils literal notranslate"><span class="pre">solvers</span></code></a>. The four of them (<a class="reference internal" href="api/card.html#module-pysat.card" title="pysat.card"><code class="xref py py-mod docutils literal notranslate"><span class="pre">card</span></code></a>, <a class="reference internal" href="api/pb.html#module-pysat.pb" title="pysat.pb"><code class="xref py py-mod docutils literal notranslate"><span class="pre">pb</span></code></a>, <a class="reference internal" href="api/process.html#module-pysat.process" title="pysat.process"><code class="xref py py-mod docutils literal notranslate"><span class="pre">process</span></code></a>
363and <a class="reference internal" href="api/solvers.html#module-pysat.solvers" title="pysat.solvers"><code class="xref py py-mod docutils literal notranslate"><span class="pre">solvers</span></code></a>
363) are Python wrappers for the code originally implemented
364in the C/C++ languages while the <a class="reference internal" href="api/engines.html#module-pysat.engines" title="pysat.engines"><code class="xref py py-mod docutils literal notranslate"><span class="pre">engines</span></code></a>, <a class="reference internal" href="api/formula.html#module-pysat.formula" title="pysat.formula"><code class="xref py py-mod docutils literal notranslate"><span class="pre">formula</span></code></a> and
365<a class="reference internal" href="api/integer.html#module-pysat.integer" title="pysat.integer"><code class="xref py py-mod docutils literal notranslate"><span class="pre">integer</span></code></a> modules are <em>pure</em> Python modules. Version
366<em>0.1.4.dev0</em> of PySAT brings a new module called <a class="reference internal" href="api/pb.html#module-pysat.pb" title="pysat.pb"><code class="xref py py-mod docutils literal notranslate"><span class="pre">pb</span></code></a>, which is a wrapper
367for the basic functionality of a third-party library <a class="reference external" href="https://pypi.org/project/pypblib/">PyPBLib</a> developed by the <a class="reference external" href="http://ulog.udl.cat/">Logic Optimization
368Group</a> of the University of Lleida.</p>
369<p>A supplementary sixth module <code class="xref py py-mod docutils literal notranslate"><span class="pre">examples</span></code> presents a list of scripts,
370which are supposed to demonstrate how the toolkit can be used for practical
371problem solving. The module includes a formula generator, several MaxSAT
372solvers including an award-winning RC2, a few (S)MUS extractors and
373enumerators as well as MCS enumerators, among other scripts.</p>
374<p>Finally, an additional seventh module <code class="xref py py-mod docutils literal notranslate"><span class="pre">allies</span></code> brought by version
375<em>0.1.8.dev3</em> is meant to provide access to a number of third-party tools
376important for practical SAT-based problem solving.</p>
377<section id="core-pysat-modules">
378<h3>Core PySAT modules<a class="headerlink" href="#core-pysat-modules" title="Link to this heading">#</a></h3>
379<div class="toctree-wrapper compound">
380<ul>
381<li class="toctree-l1"><a class="reference internal" href="api/card.html">Cardinality encodings (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.card</span></code>)</a></li>
382<li class="toctree-l1"><a class="reference internal" href="api/engines.html">External engines (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.engines</span></code>)</a></li>
383<li class="toctree-l1"><a class="reference internal" href="api/formula.html">Boolean formula manipulation (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.formula</span></code>)</a></li>
384<li class="toctree-l1"><a class="reference internal" href="api/integer.html">Integer variables (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.integer</span></code>)</a></li>
385<li class="toctree-l1"><a class="reference internal" href="api/pb.html">Pseudo-Boolean encodings (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.pb</span></code>)</a></li>
386<li class="toctree-l1"><a class="reference internal" href="api/process.html">Formula processing (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.process</span></code>)</a></li>
387<li class="toctree-l1"><a class="reference internal" href="api/solvers.html">SAT solvers’ API (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.solvers</span></code>)</a></li>
388</ul>
389</div>
390</section>
391<section id="supplementary-examples-package">
392<h3>Supplementary <code class="xref py py-mod docutils literal notranslate"><span class="pre">examples</span></code> package<a class="headerlink" href="#supplementary-examples-package" title="Link to this heading">#</a></h3>
393<div class="toctree-wrapper compound">
394<ul>
395<li class="toctree-l1"><a class="reference internal" href="api/examples/bbscan.html">Collection of backbone computation algorithms (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.examples.bbscan</span></code>)</a></li>
396<li class="toctree-l1"><a class="reference internal" href="api/examples/bica.html">Bica algorithm for formula simplification (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.examples.bica</span></code>)</a></li>
397<li class="toctree-l1"><a class="reference internal" href="api/examples/fm.html">Fu&amp;Malik MaxSAT algorithm (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.examples.fm</span></code>)</a></li>
398<li class="toctree-l1"><a class="reference internal" href="api/examples/genhard.html">
398Hard formula generator (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.examples.genhard</span></code>)</a></li>
399<li class="toctree-l1"><a class="reference internal" href="api/examples/hitman.html">Minimum/minimal hitting set solver (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.examples.hitman</span></code>)</a></li>
400<li class="toctree-l1"><a class="reference internal" href="api/examples/lbx.html">LBX-like MCS enumerator (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.examples.lbx</span></code>)</a></li>
401<li class="toctree-l1"><a class="reference internal" href="api/examples/lsu.html">LSU algorithm for MaxSAT (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.examples.lsu</span></code>)</a></li>
402<li class="toctree-l1"><a class="reference internal" href="api/examples/mcsls.html">CLD-like MCS enumerator (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.examples.mcsls</span></code>)</a></li>
403<li class="toctree-l1"><a class="reference internal" href="api/examples/models.html">An iterative model enumerator (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.examples.models</span></code>)</a></li>
404<li class="toctree-l1"><a class="reference internal" href="api/examples/musx.html">A deletion-based MUS extractor (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.examples.musx</span></code>)</a></li>
405<li class="toctree-l1"><a class="reference internal" href="api/examples/optux.html">OptUx optimal MUS enumerator (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.examples.optux</span></code>)</a></li>
406<li class="toctree-l1"><a class="reference internal" href="api/examples/primer.html">Primer-B algorithm for prime enumeration (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.examples.primer</span></code>)</a></li>
407<li class="toctree-l1"><a class="reference internal" href="api/examples/rc2.html">RC2 MaxSAT solver (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.examples.rc2</span></code>)</a></li>
408</ul>
409</div>
410</section>
411<section id="supplementary-allies-package">
412<h3>Supplementary <code class="xref py py-mod docutils literal notranslate"><span class="pre">allies</span></code> package<a class="headerlink" href="#supplementary-allies-package" title="Link to this heading">#</a></h3>
413<p>This module provides interface to a list of external tools useful in practical
414SAT-based problem solving. Although only ApproxMCv4 is currently present here,
415the list of tools will grow.</p>
416<div class="toctree-wrapper compound">
417<ul>
418<li class="toctree-l1"><a class="reference internal" href="api/allies/approxmc.html">ApproxMC model counter (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.allies.approxmc</span></code>)</a></li>
419<li class="toctree-l1"><a class="reference internal" href="api/allies/unigen.html">UniGen almost-uniform sampler (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.allies.unigen</span></code>)</a></li>
420</ul>
421</div>
422</section>
423</section>
424</section>
425
426
427                </article>
428              
429              
430              
431              
432              
433                <footer class="prev-next-footer d-print-none">
434                  
435<div class="prev-next-area">
436    <a class="right-next"
437       href="api/card.html"
438       title="next page">
439      <div class="prev-next-info">
440        <p class="prev-next-subtitle">next</p>
441        <p class="prev-next-title">Cardinality encodings (<code class="xref py py-mod docutils literal notranslate"><span class="pre">pysat.card</span></code>)</p>
442      </div>
443      <i class="fa-solid fa-angle-right"></i>
444    </a>
445</div>
446                </footer>
447              
448            </div>
449            
450            
451              
452                <dialog id="pst-secondary-sidebar-modal"></dialog>
453                <div id="pst-secondary-sidebar" class="bd-sidebar-secondary bd-toc"><div class="sidebar-secondary-items sidebar-secondary__inner">
454
455
456  <div class="sidebar-secondary-item">
457<div
458    id="pst-page-navigation-heading-2"
459    class="page-toc tocsection onthispage">
460    <i class="fa-solid fa-list"></i> On this page
461  </div>
462  <nav id="pst-page-toc-nav" class="page-toc" aria-labelledby="pst-page-navigation-heading-2">
463    <ul class="pst-show_toc_level nav section-nav flex-column">
464<li class="toc-h2 nav-item toc-entry"><a class="reference internal nav-link" href="#api-documentation">API documentation</a><ul class="nav section-nav flex-column">
465<li class="toc-h3 nav-item toc-entry"><a class="reference internal nav-link" href="#core-pysat-modules">Core PySAT modules</a></li>
466<li class="toc-h3 nav-item toc-entry"><a class="reference internal nav-link" href="#supplementary-examples-package">Supplementary <code class="xref py py-mod docutils literal notranslate"><span class="pre">examples</span></code> package</a></li>
467<li class="toc-h3 nav-item toc-entry"><a class="reference internal nav-link" href="#supplementary-allies-package">Supplementary <code class="xref py py-mod docutils literal notranslate"><span class="pre">allies</span></code> package</a></li>
468</ul>
469</li>
470</ul>
471  </nav></div>
472
473</div></div>
474              
475            
476          </div>
477          <footer class="bd-footer-content">
478            
479          </footer>
480        
481      </main>
482    </div>
483  </div>
484  
485  <!-- Scripts loaded after <body> so the DOM is not blocked -->
486  
486<script defer src="_static/scripts/bootstrap.js?digest=90905a2f556bf617f1a9"></script>
vendor: 1 bytes, line 486
486
487<script defer src="_static/scripts/pydata-sphinx-theme.js?digest=90905a2f556bf617f1a9"></script>
487
488
489  <footer class="bd-footer">
490<div class="bd-footer__inner bd-page-width">
491  
492    <div class="footer-items__start">
493      
494        <div class="footer-item">
495
496  <p class="copyright">
497    
498      © Copyright 2018-2024, Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado.
499      <br/>
500    
501  </p>
502</div>
503      
504        <div class="footer-item">
505
506  <p class="sphinx-version">
507    Created using <a href="https://www.sphinx-doc.org/">Sphinx</a> 8.2.3.
508    <br/>
509  </p>
510</div>
511      
512    </div>
513  
514  
515  
516    <div class="footer-items__end">
517      
518        <div class="footer-item">
519<p class="theme-version">
520  <!-- # L10n: Setting the PST URL as an argument as this does not need to be localized -->
521  Built with the <a href="https://pydata-sphinx-theme.readthedocs.io/en/stable/index.html">PyData Sphinx Theme</a> 0.20.0.
522</p></div>
523      
524    </div>
525  
526</div>
527
528  </footer>
529  </body>
530</html>

Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.