build based on 255e74a

dev/.documenter-siteinfo.json

@@ -1 +1 @@
-{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-10-29T16:13:07","documenter_version":"1.1.2"}}
+{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-10-29T17:14:10","documenter_version":"1.1.2"}}

dev/index.html

@@ -8,4 +8,4 @@
     -100.0,
 )
 
-g = f^2 - 2f</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">10200.0 - 597.0 x - 195.0 w x - 792.0 y z + 24.0 x y z + 8.0 w x y z</code></pre><h2 id="Table-of-Contents"><a class="docs-heading-anchor" href="#Table-of-Contents">Table of Contents</a><a id="Table-of-Contents-1"></a><a class="docs-heading-anchor-permalink" href="#Table-of-Contents" title="Permalink"></a></h2><ul><li><a href="manual/1-intro/#PseudoBooleanOptimization.jl-Manual">PseudoBooleanOptimization.jl Manual</a></li><li class="no-marker"><ul><li><a href="manual/1-intro/#Introduction">Introduction</a></li></ul></li><li><a href="manual/2-function/#Pseudo-Boolean-functions">Pseudo-Boolean functions</a></li><li><a href="manual/3-operators/#Operations-with-pseudo-Boolean-functions">Operations with pseudo-Boolean functions</a></li><li class="no-marker"><ul><li><a href="manual/3-operators/#Arithmetic-operations">Arithmetic operations</a></li></ul></li><li><a href="manual/4-quadratization/#Quadratization">Quadratization</a></li></ul></article><nav class="docs-footer"><a class="docs-footer-nextpage" href="manual/1-intro/">PseudoBooleanOptimization.jl Manual »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.1.2 on <span class="colophon-date" title="Sunday 29 October 2023 16:13">Sunday 29 October 2023</span>. Using Julia version 1.9.3.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+g = f^2 - 2f</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">10200.0 - 597.0 x - 195.0 w x - 792.0 y z + 24.0 x y z + 8.0 w x y z</code></pre><h2 id="Table-of-Contents"><a class="docs-heading-anchor" href="#Table-of-Contents">Table of Contents</a><a id="Table-of-Contents-1"></a><a class="docs-heading-anchor-permalink" href="#Table-of-Contents" title="Permalink"></a></h2><ul><li><a href="manual/1-intro/#PseudoBooleanOptimization.jl-Manual">PseudoBooleanOptimization.jl Manual</a></li><li class="no-marker"><ul><li><a href="manual/1-intro/#Introduction">Introduction</a></li></ul></li><li><a href="manual/2-function/#Pseudo-Boolean-functions">Pseudo-Boolean functions</a></li><li><a href="manual/3-operators/#Operations-with-pseudo-Boolean-functions">Operations with pseudo-Boolean functions</a></li><li class="no-marker"><ul><li><a href="manual/3-operators/#Arithmetic-operations">Arithmetic operations</a></li></ul></li><li><a href="manual/4-quadratization/#Quadratization">Quadratization</a></li></ul></article><nav class="docs-footer"><a class="docs-footer-nextpage" href="manual/1-intro/">PseudoBooleanOptimization.jl Manual »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.1.2 on <span class="colophon-date" title="Sunday 29 October 2023 17:14">Sunday 29 October 2023</span>. Using Julia version 1.9.3.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>

dev/manual/1-intro/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html lang="en"><head><meta charset="UTF-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><title>PseudoBooleanOptimization.jl Manual · PseudoBooleanOptimization.jl</title><meta name="title" content="PseudoBooleanOptimization.jl Manual · PseudoBooleanOptimization.jl"/><meta property="og:title" content="PseudoBooleanOptimization.jl Manual · PseudoBooleanOptimization.jl"/><meta property="twitter:title" content="PseudoBooleanOptimization.jl Manual · PseudoBooleanOptimization.jl"/><meta name="description" content="Documentation for PseudoBooleanOptimization.jl."/><meta property="og:description" content="Documentation for PseudoBooleanOptimization.jl."/><meta property="twitter:description" content="Documentation for PseudoBooleanOptimization.jl."/><script data-outdated-warner src="../../assets/warner.js"></script><link href="https://cdnjs.cloudflare.com/ajax/libs/lato-font/3.0.0/css/lato-font.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/juliamono/0.050/juliamono.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.4.2/css/fontawesome.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.4.2/css/solid.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.4.2/css/brands.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.16.8/katex.min.css" rel="stylesheet" type="text/css"/><script>documenterBaseURL="../.."</script><script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.6/require.min.js" data-main="../../assets/documenter.js"></script><script src="../../search_index.js"></script><script src="../../siteinfo.js"></script><script src="../../../versions.js"></script><link class="docs-theme-link" rel="stylesheet" type="text/css" href="../../assets/themes/documenter-dark.css" data-theme-name="documenter-dark" data-theme-primary-dark/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="../../assets/themes/documenter-light.css" data-theme-name="documenter-light" data-theme-primary/><script src="../../assets/themeswap.js"></script><link href="../../assets/extra_styles.css" rel="stylesheet" type="text/css"/><link href="../../assets/favicon.ico" rel="icon" type="image/x-icon"/></head><body><div id="documenter"><nav class="docs-sidebar"><a class="docs-logo" href="../../"><img src="../../assets/logo.svg" alt="PseudoBooleanOptimization.jl logo"/></a><button class="docs-search-query input is-rounded is-small is-clickable my-2 mx-auto py-1 px-2" id="documenter-search-query">Search docs (Ctrl + /)</button><ul class="docs-menu"><li><a class="tocitem" href="../../">Home</a></li><li><span class="tocitem">Manual</span><ul><li class="is-active"><a class="tocitem" href>PseudoBooleanOptimization.jl Manual</a><ul class="internal"><li><a class="tocitem" href="#Introduction"><span>Introduction</span></a></li></ul></li><li><a class="tocitem" href="../2-function/">Pseudo-Boolean functions</a></li><li><a class="tocitem" href="../3-operators/">Operations with pseudo-Boolean functions</a></li><li><a class="tocitem" href="../4-quadratization/">Quadratization</a></li><li><a class="tocitem" href="../5-synthesis/">Synthetic Problem Generation</a></li></ul></li><li><a class="tocitem" href="../../api/">API Reference</a></li></ul><div class="docs-version-selector field has-addons"><div class="control"><span class="docs-label button is-static is-size-7">Version</span></div><div class="docs-selector control is-expanded"><div class="select is-fullwidth is-size-7"><select id="documenter-version-selector"></select></div></div></div></nav><div class="docs-main"><header class="docs-navbar"><a class="docs-sidebar-button docs-navbar-link fa-solid fa-bars is-hidden-desktop" id="documenter-sidebar-button" href="#"></a><nav class="breadcrumb"><ul class="is-hidden-mobile"><li><a class="is-disabled">Manual</a></li><li class="is-active"><a href>PseudoBooleanOptimization.jl Manual</a></li></ul><ul class="is-hidden-tablet"><li class="is-active"><a href>PseudoBooleanOptimization.jl Manual</a></li></ul></nav><div class="docs-right"><a class="docs-navbar-link" href="https://github.com/psrenergy/PseudoBooleanOptimization.jl" title="View the repository on GitHub"><span class="docs-icon fa-brands"></span><span class="docs-label is-hidden-touch">GitHub</span></a><a class="docs-navbar-link" href="https://github.com/psrenergy/PseudoBooleanOptimization.jl/blob/main/docs/src/manual/1-intro.md" title="Edit source on GitHub"><span class="docs-icon fa-solid"></span></a><a class="docs-settings-button docs-navbar-link fa-solid fa-gear" id="documenter-settings-button" href="#" title="Settings"></a><a class="docs-article-toggle-button fa-solid fa-chevron-up" id="documenter-article-toggle-button" href="javascript:;" title="Collapse all docstrings"></a></div></header><article class="content" id="documenter-page"><h1 id="PseudoBooleanOptimization.jl-Manual"><a class="docs-heading-anchor" href="#PseudoBooleanOptimization.jl-Manual">PseudoBooleanOptimization.jl Manual</a><a id="PseudoBooleanOptimization.jl-Manual-1"></a><a class="docs-heading-anchor-permalink" href="#PseudoBooleanOptimization.jl-Manual" title="Permalink"></a></h1><h2 id="Introduction"><a class="docs-heading-anchor" href="#Introduction">Introduction</a><a id="Introduction-1"></a><a class="docs-heading-anchor-permalink" href="#Introduction" title="Permalink"></a></h2></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../">« Home</a><a class="docs-footer-nextpage" href="../2-function/">Pseudo-Boolean functions »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.1.2 on <span class="colophon-date" title="Sunday 29 October 2023 16:13">Sunday 29 October 2023</span>. Using Julia version 1.9.3.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+<html lang="en"><head><meta charset="UTF-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><title>PseudoBooleanOptimization.jl Manual · PseudoBooleanOptimization.jl</title><meta name="title" content="PseudoBooleanOptimization.jl Manual · PseudoBooleanOptimization.jl"/><meta property="og:title" content="PseudoBooleanOptimization.jl Manual · PseudoBooleanOptimization.jl"/><meta property="twitter:title" content="PseudoBooleanOptimization.jl Manual · PseudoBooleanOptimization.jl"/><meta name="description" content="Documentation for PseudoBooleanOptimization.jl."/><meta property="og:description" content="Documentation for PseudoBooleanOptimization.jl."/><meta property="twitter:description" content="Documentation for PseudoBooleanOptimization.jl."/><script data-outdated-warner src="../../assets/warner.js"></script><link href="https://cdnjs.cloudflare.com/ajax/libs/lato-font/3.0.0/css/lato-font.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/juliamono/0.050/juliamono.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.4.2/css/fontawesome.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.4.2/css/solid.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.4.2/css/brands.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.16.8/katex.min.css" rel="stylesheet" type="text/css"/><script>documenterBaseURL="../.."</script><script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.6/require.min.js" data-main="../../assets/documenter.js"></script><script src="../../search_index.js"></script><script src="../../siteinfo.js"></script><script src="../../../versions.js"></script><link class="docs-theme-link" rel="stylesheet" type="text/css" href="../../assets/themes/documenter-dark.css" data-theme-name="documenter-dark" data-theme-primary-dark/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="../../assets/themes/documenter-light.css" data-theme-name="documenter-light" data-theme-primary/><script src="../../assets/themeswap.js"></script><link href="../../assets/extra_styles.css" rel="stylesheet" type="text/css"/><link href="../../assets/favicon.ico" rel="icon" type="image/x-icon"/></head><body><div id="documenter"><nav class="docs-sidebar"><a class="docs-logo" href="../../"><img src="../../assets/logo.svg" alt="PseudoBooleanOptimization.jl logo"/></a><button class="docs-search-query input is-rounded is-small is-clickable my-2 mx-auto py-1 px-2" id="documenter-search-query">Search docs (Ctrl + /)</button><ul class="docs-menu"><li><a class="tocitem" href="../../">Home</a></li><li><span class="tocitem">Manual</span><ul><li class="is-active"><a class="tocitem" href>PseudoBooleanOptimization.jl Manual</a><ul class="internal"><li><a class="tocitem" href="#Introduction"><span>Introduction</span></a></li></ul></li><li><a class="tocitem" href="../2-function/">Pseudo-Boolean functions</a></li><li><a class="tocitem" href="../3-operators/">Operations with pseudo-Boolean functions</a></li><li><a class="tocitem" href="../4-quadratization/">Quadratization</a></li><li><a class="tocitem" href="../5-synthesis/">Synthetic Problem Generation</a></li></ul></li><li><a class="tocitem" href="../../api/">API Reference</a></li></ul><div class="docs-version-selector field has-addons"><div class="control"><span class="docs-label button is-static is-size-7">Version</span></div><div class="docs-selector control is-expanded"><div class="select is-fullwidth is-size-7"><select id="documenter-version-selector"></select></div></div></div></nav><div class="docs-main"><header class="docs-navbar"><a class="docs-sidebar-button docs-navbar-link fa-solid fa-bars is-hidden-desktop" id="documenter-sidebar-button" href="#"></a><nav class="breadcrumb"><ul class="is-hidden-mobile"><li><a class="is-disabled">Manual</a></li><li class="is-active"><a href>PseudoBooleanOptimization.jl Manual</a></li></ul><ul class="is-hidden-tablet"><li class="is-active"><a href>PseudoBooleanOptimization.jl Manual</a></li></ul></nav><div class="docs-right"><a class="docs-navbar-link" href="https://github.com/psrenergy/PseudoBooleanOptimization.jl" title="View the repository on GitHub"><span class="docs-icon fa-brands"></span><span class="docs-label is-hidden-touch">GitHub</span></a><a class="docs-navbar-link" href="https://github.com/psrenergy/PseudoBooleanOptimization.jl/blob/main/docs/src/manual/1-intro.md" title="Edit source on GitHub"><span class="docs-icon fa-solid"></span></a><a class="docs-settings-button docs-navbar-link fa-solid fa-gear" id="documenter-settings-button" href="#" title="Settings"></a><a class="docs-article-toggle-button fa-solid fa-chevron-up" id="documenter-article-toggle-button" href="javascript:;" title="Collapse all docstrings"></a></div></header><article class="content" id="documenter-page"><h1 id="PseudoBooleanOptimization.jl-Manual"><a class="docs-heading-anchor" href="#PseudoBooleanOptimization.jl-Manual">PseudoBooleanOptimization.jl Manual</a><a id="PseudoBooleanOptimization.jl-Manual-1"></a><a class="docs-heading-anchor-permalink" href="#PseudoBooleanOptimization.jl-Manual" title="Permalink"></a></h1><h2 id="Introduction"><a class="docs-heading-anchor" href="#Introduction">Introduction</a><a id="Introduction-1"></a><a class="docs-heading-anchor-permalink" href="#Introduction" title="Permalink"></a></h2></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../">« Home</a><a class="docs-footer-nextpage" href="../2-function/">Pseudo-Boolean functions »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.1.2 on <span class="colophon-date" title="Sunday 29 October 2023 17:14">Sunday 29 October 2023</span>. Using Julia version 1.9.3.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>