deploy: 9ce8722

MiniZinc · Nov 9, 2023 · 48719f4 · 48719f4
1 parent 3e07aa5
commit 48719f4
Show file tree

Hide file tree

Showing 29 changed files with 141 additions and 126 deletions.
diff --git a/docs/develop/assets/highlight.css b/docs/develop/assets/highlight.css
@@ -27,6 +27,8 @@
     --dark-hl-12: #6A9955;
     --light-hl-13: #098658;
     --dark-hl-13: #B5CEA8;
+    --light-hl-14: #EE0000;
+    --dark-hl-14: #D7BA7D;
     --light-code-background: #FFFFFF;
     --dark-code-background: #1E1E1E;
 }
@@ -46,6 +48,7 @@
     --hl-11: var(--light-hl-11);
     --hl-12: var(--light-hl-12);
     --hl-13: var(--light-hl-13);
+    --hl-14: var(--light-hl-14);
     --code-background: var(--light-code-background);
 } }
 
@@ -64,6 +67,7 @@
     --hl-11: var(--dark-hl-11);
     --hl-12: var(--dark-hl-12);
     --hl-13: var(--dark-hl-13);
+    --hl-14: var(--dark-hl-14);
     --code-background: var(--dark-code-background);
 } }
 
@@ -82,6 +86,7 @@
     --hl-11: var(--light-hl-11);
     --hl-12: var(--light-hl-12);
     --hl-13: var(--light-hl-13);
+    --hl-14: var(--light-hl-14);
     --code-background: var(--light-code-background);
 }
 
@@ -100,6 +105,7 @@
     --hl-11: var(--dark-hl-11);
     --hl-12: var(--dark-hl-12);
     --hl-13: var(--dark-hl-13);
+    --hl-14: var(--dark-hl-14);
     --code-background: var(--dark-code-background);
 }
 
@@ -117,4 +123,5 @@
 .hl-11 { color: var(--hl-11); }
 .hl-12 { color: var(--hl-12); }
 .hl-13 { color: var(--hl-13); }
+.hl-14 { color: var(--hl-14); }
 pre, code { background: var(--code-background); }
diff --git a/docs/develop/classes/Model.html b/docs/develop/classes/Model.html
@@ -32,7 +32,7 @@ <h4>Hierarchy</h4>
 <ul class="tsd-hierarchy">
 <li><span class="target">Model</span></li></ul></section><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L42">index.d.ts:42</a></li></ul></aside>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L42">index.d.ts:42</a></li></ul></aside>
 <section class="tsd-panel-group tsd-index-group">
 <section class="tsd-panel tsd-index-panel">
 <details class="tsd-index-content tsd-index-accordion" open><summary class="tsd-accordion-summary tsd-index-summary">
@@ -69,7 +69,7 @@ <h4>Example</h4><pre><code class="language-js"><span class="hl-8">const</span><s
 </code><button>Copy</button></pre>
 </div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L51">index.d.ts:51</a></li></ul></aside></li></ul></section></section>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L51">index.d.ts:51</a></li></ul></aside></li></ul></section></section>
 <section class="tsd-panel-group tsd-member-group">
 <h2>Methods</h2>
 <section class="tsd-panel tsd-member"><a id="addDznString" class="tsd-anchor"></a>
@@ -95,7 +95,7 @@ <h4>Example</h4><pre><code class="language-js"><span class="hl-6">model</span><s
 </code><button>Copy</button></pre>
 </div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L105">index.d.ts:105</a></li></ul></aside></li></ul></section>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L105">index.d.ts:105</a></li></ul></aside></li></ul></section>
 <section class="tsd-panel tsd-member"><a id="addFile" class="tsd-anchor"></a>
 <h3 class="tsd-anchor-link"><span>add<wbr/>File</span><a href="#addFile" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24"><use href="#icon-anchor"></use></svg></a></h3>
 <ul class="tsd-signatures">
@@ -129,7 +129,7 @@ <h4>Example</h4><pre><code class="language-js"><span class="hl-12">/// Add this
 <p>This method is generally only used from the browser.</p>
 </div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L145">index.d.ts:145</a></li></ul></aside></li>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L145">index.d.ts:145</a></li></ul></aside></li>
 <li class="tsd-signature tsd-anchor-link" id="addFile.addFile-2"><span class="tsd-kind-call-signature">add<wbr/>File</span><span class="tsd-signature-symbol">(</span><span class="tsd-kind-parameter">filename</span><span class="tsd-signature-symbol">)</span><span class="tsd-signature-symbol">: </span><span class="tsd-signature-type">void</span><a href="#addFile.addFile-2" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24"><use href="#icon-anchor"></use></svg></a></li>
 <li class="tsd-description">
 <div class="tsd-comment tsd-typography"><p>Adds the given file to the model.</p>
@@ -149,7 +149,7 @@ <h4>Example</h4><pre><code class="language-js"><span class="hl-6">model</span><s
 <p>Only available using the native version of MiniZinc in NodeJS.</p>
 </div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L158">index.d.ts:158</a></li></ul></aside></li></ul></section>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L158">index.d.ts:158</a></li></ul></aside></li></ul></section>
 <section class="tsd-panel tsd-member"><a id="addJson" class="tsd-anchor"></a>
 <h3 class="tsd-anchor-link"><span>add<wbr/>Json</span><a href="#addJson" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24"><use href="#icon-anchor"></use></svg></a></h3>
 <ul class="tsd-signatures">
@@ -173,7 +173,7 @@ <h4>Example</h4><pre><code class="language-js"><span class="hl-6">model</span><s
 </code><button>Copy</button></pre>
 </div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L122">index.d.ts:122</a></li></ul></aside></li></ul></section>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L122">index.d.ts:122</a></li></ul></aside></li></ul></section>
 <section class="tsd-panel tsd-member"><a id="addString" class="tsd-anchor"></a>
 <h3 class="tsd-anchor-link"><span>add<wbr/>String</span><a href="#addString" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24"><use href="#icon-anchor"></use></svg></a></h3>
 <ul class="tsd-signatures">
@@ -197,7 +197,7 @@ <h4>Example</h4><pre><code class="language-js"><span class="hl-6">model</span><s
 </code><button>Copy</button></pre>
 </div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L91">index.d.ts:91</a></li></ul></aside></li></ul></section>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L91">index.d.ts:91</a></li></ul></aside></li></ul></section>
 <section class="tsd-panel tsd-member"><a id="check" class="tsd-anchor"></a>
 <h3 class="tsd-anchor-link"><span>check</span><a href="#check" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24"><use href="#icon-anchor"></use></svg></a></h3>
 <ul class="tsd-signatures">
@@ -226,7 +226,7 @@ <h4>Example</h4><pre><code class="language-js"><span class="hl-8">const</span><s
 </code><button>Copy</button></pre>
 </div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L178">index.d.ts:178</a></li></ul></aside></li></ul></section>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L178">index.d.ts:178</a></li></ul></aside></li></ul></section>
 <section class="tsd-panel tsd-member"><a id="clone" class="tsd-anchor"></a>
 <h3 class="tsd-anchor-link"><span>clone</span><a href="#clone" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24"><use href="#icon-anchor"></use></svg></a></h3>
 <ul class="tsd-signatures">
@@ -240,7 +240,7 @@ <h4>Example</h4><pre><code class="language-js"><span class="hl-8">const</span><s
 </code><button>Copy</button></pre>
 </div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L75">index.d.ts:75</a></li></ul></aside></li></ul></section>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L75">index.d.ts:75</a></li></ul></aside></li></ul></section>
 <section class="tsd-panel tsd-member"><a id="compile" class="tsd-anchor"></a>
 <h3 class="tsd-anchor-link"><span>compile</span><a href="#compile" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24"><use href="#icon-anchor"></use></svg></a></h3>
 <ul class="tsd-signatures">
@@ -268,7 +268,7 @@ <h4>Example</h4><pre><code class="language-js"><span class="hl-8">const</span><s
 </code><button>Copy</button></pre>
 </div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L224">index.d.ts:224</a></li></ul></aside></li></ul></section>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L224">index.d.ts:224</a></li></ul></aside></li></ul></section>
 <section class="tsd-panel tsd-member"><a id="interface" class="tsd-anchor"></a>
 <h3 class="tsd-anchor-link"><span>interface</span><a href="#interface" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24"><use href="#icon-anchor"></use></svg></a></h3>
 <ul class="tsd-signatures">
@@ -297,7 +297,7 @@ <h4>Example</h4><pre><code class="language-js"><span class="hl-6">model</span><s
 </code><button>Copy</button></pre>
 </div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L198">index.d.ts:198</a></li></ul></aside></li></ul></section>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L198">index.d.ts:198</a></li></ul></aside></li></ul></section>
 <section class="tsd-panel tsd-member"><a id="solve" class="tsd-anchor"></a>
 <h3 class="tsd-anchor-link"><span>solve</span><a href="#solve" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24"><use href="#icon-anchor"></use></svg></a></h3>
 <ul class="tsd-signatures">
@@ -330,7 +330,7 @@ <h4>Example</h4><pre><code class="language-js"><span class="hl-12">// Begin solv
 </code><button>Copy</button></pre>
 </div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L253">index.d.ts:253</a></li></ul></aside></li></ul></section></section></div>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L253">index.d.ts:253</a></li></ul></aside></li></ul></section></section></div>
 <div class="col-sidebar">
 <div class="page-menu">
 <div class="tsd-navigation settings">

diff --git a/docs/develop/functions/init.html b/docs/develop/functions/init.html
@@ -43,7 +43,7 @@ <h4>Example</h4><pre><code class="language-js"><span class="hl-6">MiniZinc</span
 </code><button>Copy</button></pre>
 </div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L288">index.d.ts:288</a></li></ul></aside></li></ul></section></div>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L288">index.d.ts:288</a></li></ul></aside></li></ul></section></div>
 <div class="col-sidebar">
 <div class="page-menu">
 <div class="tsd-navigation settings">

diff --git a/docs/develop/functions/readStdlibFileContents.html b/docs/develop/functions/readStdlibFileContents.html
@@ -34,7 +34,7 @@ <h4 class="tsd-returns-title">Returns <span class="tsd-signature-type ">Promise<
 
 <div class="tsd-comment tsd-typography"></div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L334">index.d.ts:334</a></li></ul></aside></li>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L334">index.d.ts:334</a></li></ul></aside></li>
 <li class="tsd-signature tsd-anchor-link" id="readStdlibFileContents-1"><span class="tsd-kind-call-signature">read<wbr/>Stdlib<wbr/>File<wbr/>Contents</span><span class="tsd-signature-symbol">(</span><span class="tsd-kind-parameter">files</span><span class="tsd-signature-symbol">)</span><span class="tsd-signature-symbol">: </span><span class="tsd-signature-type ">Promise</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-symbol">{ </span><br/><span>    </span>[<span class="tsd-kind-index-signature">key</span>: <span class="tsd-signature-type">string</span>]<span class="tsd-signature-symbol">: </span><span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">; </span><br/><span class="tsd-signature-symbol">}</span><span class="tsd-signature-symbol">&gt;</span><a href="#readStdlibFileContents-1" aria-label="Permalink" class="tsd-anchor-icon"><svg viewBox="0 0 24 24"><use href="#icon-anchor"></use></svg></a></li>
 <li class="tsd-description">
 <div class="tsd-comment tsd-typography"><p>Get the contents of text files in the MiniZinc share directory.</p>
@@ -52,7 +52,7 @@ <h4 class="tsd-returns-title">Returns <span class="tsd-signature-type ">Promise<
 
 <div class="tsd-comment tsd-typography"></div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L343">index.d.ts:343</a></li></ul></aside></li></ul></section></div>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L343">index.d.ts:343</a></li></ul></aside></li></ul></section></div>
 <div class="col-sidebar">
 <div class="page-menu">
 <div class="tsd-navigation settings">

diff --git a/docs/develop/functions/shutdown.html b/docs/develop/functions/shutdown.html
@@ -24,7 +24,7 @@ <h1>Function shutdown</h1></div>
 <h4 class="tsd-returns-title">Returns <span class="tsd-signature-type">void</span></h4>
 <div class="tsd-comment tsd-typography"></div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L348">index.d.ts:348</a></li></ul></aside></li></ul></section></div>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L348">index.d.ts:348</a></li></ul></aside></li></ul></section></div>
 <div class="col-sidebar">
 <div class="page-menu">
 <div class="tsd-navigation settings">

diff --git a/docs/develop/functions/solvers.html b/docs/develop/functions/solvers.html
@@ -24,7 +24,7 @@ <h1>Function solvers</h1></div>
 <h4 class="tsd-returns-title">Returns <span class="tsd-signature-type ">Promise</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">object</span><span class="tsd-signature-symbol">[]</span><span class="tsd-signature-symbol">&gt;</span></h4>
 <div class="tsd-comment tsd-typography"></div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L324">index.d.ts:324</a></li></ul></aside></li></ul></section></div>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L324">index.d.ts:324</a></li></ul></aside></li></ul></section></div>
 <div class="col-sidebar">
 <div class="page-menu">
 <div class="tsd-navigation settings">

diff --git a/docs/develop/functions/version.html b/docs/develop/functions/version.html
@@ -24,7 +24,7 @@ <h1>Function version</h1></div>
 <h4 class="tsd-returns-title">Returns <span class="tsd-signature-type ">Promise</span><span class="tsd-signature-symbol">&lt;</span><span class="tsd-signature-type">string</span><span class="tsd-signature-symbol">&gt;</span></h4>
 <div class="tsd-comment tsd-typography"></div><aside class="tsd-sources">
 <ul>
-<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/1884dce/types/index.d.ts#L319">index.d.ts:319</a></li></ul></aside></li></ul></section></div>
+<li>Defined in <a href="https://github.com/MiniZinc/minizinc-js/blob/9ce8722/types/index.d.ts#L319">index.d.ts:319</a></li></ul></aside></li></ul></section></div>
 <div class="col-sidebar">
 <div class="page-menu">
 <div class="tsd-navigation settings">