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! — 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&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.