Update

0.1/404.html

@@ -8,7 +8,7 @@
     
     
     
-    <link rel="/img/favicon.ico">
+    <link rel="shortcut icon" href="/img/favicon.ico">
 
     
     <title>MIPLearn</title>
@@ -24,6 +24,10 @@
     <link href="/css/cinder.min.css" rel="stylesheet">
 
     
+        
+        <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
+        
+    
     <link href="/css/custom.css" rel="stylesheet">
 
     <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
@@ -144,6 +148,12 @@
     <script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
     <script src="/js/bootstrap-3.0.3.min.js"></script>
 
+    
+    <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
+        
+    <script>hljs.initHighlightingOnLoad();</script>
+    
+
     <script>var base_url = "/"</script>
     
     <script src="/js/base.js"></script>

0.1/about/index.html

@@ -8,7 +8,7 @@
     
     
     
-    <link rel="../img/favicon.ico">
+    <link rel="shortcut icon" href="../img/favicon.ico">
 
     
     <title>About - MIPLearn</title>
@@ -24,6 +24,10 @@
     <link href="../css/cinder.min.css" rel="stylesheet">
 
     
+        
+        <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
+        
+    
     <link href="../css/custom.css" rel="stylesheet">
 
     <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
@@ -118,7 +122,7 @@
                         </a>
                     </li>
                     <li>
-                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/master/src/docs/about.md"><i class="fab fa-github"></i> Edit on GitHub</a>
+                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/dev/docs/about.md"><i class="fab fa-github"></i> Edit on GitHub</a>
                     </li>
             </ul>
         </div>
@@ -202,6 +206,12 @@ POSSIBILITY OF SUCH DAMAGE.
     <script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
     <script src="../js/bootstrap-3.0.3.min.js"></script>
 
+    
+    <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
+        
+    <script>hljs.initHighlightingOnLoad();</script>
+    
+
     <script>var base_url = ".."</script>
     
     <script src="../js/base.js"></script>

0.1/benchmark/index.html

@@ -8,7 +8,7 @@
     
     
     
-    <link rel="../img/favicon.ico">
+    <link rel="shortcut icon" href="../img/favicon.ico">
 
     
     <title>Benchmark - MIPLearn</title>
@@ -24,6 +24,10 @@
     <link href="../css/cinder.min.css" rel="stylesheet">
 
     
+        
+        <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
+        
+    
     <link href="../css/custom.css" rel="stylesheet">
 
     <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
@@ -118,7 +122,7 @@
                         </a>
                     </li>
                     <li>
-                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/master/src/docs/benchmark.md"><i class="fab fa-github"></i> Edit on GitHub</a>
+                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/dev/docs/benchmark.md"><i class="fab fa-github"></i> Edit on GitHub</a>
                     </li>
             </ul>
         </div>
@@ -208,6 +212,12 @@ benchmark.parallel_solve(test_instances)
     <script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
     <script src="../js/bootstrap-3.0.3.min.js"></script>
 
+    
+    <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
+        
+    <script>hljs.initHighlightingOnLoad();</script>
+    
+
     <script>var base_url = ".."</script>
     
     <script src="../js/base.js"></script>

0.1/customization/index.html

@@ -8,7 +8,7 @@
     
     
     
-    <link rel="../img/favicon.ico">
+    <link rel="shortcut icon" href="../img/favicon.ico">
 
     
     <title>Customization - MIPLearn</title>
@@ -24,6 +24,10 @@
     <link href="../css/cinder.min.css" rel="stylesheet">
 
     
+        
+        <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
+        
+    
     <link href="../css/custom.css" rel="stylesheet">
 
     <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
@@ -118,7 +122,7 @@
                         </a>
                     </li>
                     <li>
-                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/master/src/docs/customization.md"><i class="fab fa-github"></i> Edit on GitHub</a>
+                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/dev/docs/customization.md"><i class="fab fa-github"></i> Edit on GitHub</a>
                     </li>
             </ul>
         </div>
@@ -302,6 +306,12 @@ comp.fit(train_instances)
     <script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
     <script src="../js/bootstrap-3.0.3.min.js"></script>
 
+    
+    <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
+        
+    <script>hljs.initHighlightingOnLoad();</script>
+    
+
     <script>var base_url = ".."</script>
     
     <script src="../js/base.js"></script>

0.1/index.html

@@ -8,7 +8,7 @@
     
     
     
-    <link rel="img/favicon.ico">
+    <link rel="shortcut icon" href="img/favicon.ico">
 
     
     <title>Home - MIPLearn</title>
@@ -24,6 +24,10 @@
     <link href="css/cinder.min.css" rel="stylesheet">
 
     
+        
+        <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
+        
+    
     <link href="css/custom.css" rel="stylesheet">
 
     <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
@@ -118,7 +122,7 @@
                         </a>
                     </li>
                     <li>
-                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/master/src/docs/index.md"><i class="fab fa-github"></i> Edit on GitHub</a>
+                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/dev/docs/index.md"><i class="fab fa-github"></i> Edit on GitHub</a>
                     </li>
             </ul>
         </div>
@@ -190,6 +194,12 @@
     <script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
     <script src="js/bootstrap-3.0.3.min.js"></script>
 
+    
+    <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
+        
+    <script>hljs.initHighlightingOnLoad();</script>
+    
+
     <script>var base_url = "."</script>
     
     <script src="js/base.js"></script>
@@ -268,6 +278,6 @@
 </html>
 
 <!--
-MkDocs version : 1.0.4
+MkDocs version : 1.1.2
-Build Date UTC : 2020-08-29 22:17:08
+Build Date UTC : 2020-08-29 23:20:15.762305+00:00
 -->

0.1/problems/index.html

@@ -8,7 +8,7 @@
     
     
     
-    <link rel="../img/favicon.ico">
+    <link rel="shortcut icon" href="../img/favicon.ico">
 
     
     <title>Problems - MIPLearn</title>
@@ -24,6 +24,10 @@
     <link href="../css/cinder.min.css" rel="stylesheet">
 
     
+        
+        <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
+        
+    
     <link href="../css/custom.css" rel="stylesheet">
 
     <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
@@ -118,7 +122,7 @@
                         </a>
                     </li>
                     <li>
-                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/master/src/docs/problems.md"><i class="fab fa-github"></i> Edit on GitHub</a>
+                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/dev/docs/problems.md"><i class="fab fa-github"></i> Edit on GitHub</a>
                     </li>
             </ul>
         </div>
@@ -302,6 +306,12 @@ from the provided probability distributions <code>K</code> and <code>u</code>.</
     <script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
     <script src="../js/bootstrap-3.0.3.min.js"></script>
 
+    
+    <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
+        
+    <script>hljs.initHighlightingOnLoad();</script>
+    
+
     <script>var base_url = ".."</script>
     
     <script src="../js/base.js"></script>

0.1/search/main.js

@@ -43,7 +43,7 @@ function displayResults (results) {
 
 function doSearch () {
   var query = document.getElementById('mkdocs-search-query').value;
-  if (query.length > 2) {
+  if (query.length > min_search_length) {
     if (!window.Worker) {
       displayResults(search(query));
     } else {
@@ -73,6 +73,8 @@ function onWorkerMessage (e) {
   } else if (e.data.results) {
     var results = e.data.results;
     displayResults(results);
+  } else if (e.data.config) {
+    min_search_length = e.data.config.min_search_length-1;
   }
 }
 

0.1/search/worker.js

@@ -58,6 +58,7 @@ function onScriptsLoaded () {
   if (data.config && data.config.separator && data.config.separator.length) {
     lunr.tokenizer.separator = new RegExp(data.config.separator);
   }
+
   if (data.index) {
     index = lunr.Index.load(data.index);
     data.docs.forEach(function (doc) {
@@ -84,6 +85,7 @@ function onScriptsLoaded () {
     console.log('Lunr index built, search ready');
   }
   allowSearch = true;
+  postMessage({config: data.config});
   postMessage({allowSearch: allowSearch});
 }
 

0.1/sitemap.xml

@@ -1,31 +1,25 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
+<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"><url>
-    <url>
      <loc>None</loc>
      <lastmod>2020-08-29</lastmod>
      <changefreq>daily</changefreq>
-    </url>
+    </url><url>
-    <url>
      <loc>None</loc>
      <lastmod>2020-08-29</lastmod>
      <changefreq>daily</changefreq>
-    </url>
+    </url><url>
-    <url>
      <loc>None</loc>
      <lastmod>2020-08-29</lastmod>
      <changefreq>daily</changefreq>
-    </url>
+    </url><url>
-    <url>
      <loc>None</loc>
      <lastmod>2020-08-29</lastmod>
      <changefreq>daily</changefreq>
-    </url>
+    </url><url>
-    <url>
      <loc>None</loc>
      <lastmod>2020-08-29</lastmod>
      <changefreq>daily</changefreq>
-    </url>
+    </url><url>
-    <url>
      <loc>None</loc>
      <lastmod>2020-08-29</lastmod>
      <changefreq>daily</changefreq>

0.1/usage/index.html

@@ -8,7 +8,7 @@
     
     
     
-    <link rel="../img/favicon.ico">
+    <link rel="shortcut icon" href="../img/favicon.ico">
 
     
     <title>Usage - MIPLearn</title>
@@ -24,6 +24,10 @@
     <link href="../css/cinder.min.css" rel="stylesheet">
 
     
+        
+        <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
+        
+    
     <link href="../css/custom.css" rel="stylesheet">
 
     <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
@@ -118,7 +122,7 @@
                         </a>
                     </li>
                     <li>
-                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/master/src/docs/usage.md"><i class="fab fa-github"></i> Edit on GitHub</a>
+                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/dev/docs/usage.md"><i class="fab fa-github"></i> Edit on GitHub</a>
                     </li>
             </ul>
         </div>
@@ -151,15 +155,9 @@
 
 <h1 id="usage">Usage</h1>
 <h3 id="installation">Installation</h3>
-<p>MIPLearn is mainly written in Python, with some components written in Julia. For this
+<p>In these docs, we describe the Python/Pyomo version of the package, although a <a href="https://github.com/ANL-CEEESA/MIPLearn.jl">Julia/JuMP version</a> is also available. A mixed-integer solver is also required and its Python bindings must be properly installed. Supported solvers are currently CPLEX and Gurobi.</p>
-reason, both Python 3.6+ and Julia 1.3+ are required. A mixed-integer solver is also required, and
+<p>To install MIPLearn, run: </p>
-its Python bindings must be properly installed. Supported solvers are CPLEX and
+<pre><code class="bash">pip3 install miplearn
-Gurobi. Optimization problems currently need to be specified in the Pyomo modeling language.
-A JuMP interface to the package is currently under development.</p>
-<p>To install MIPLearn, run the following commands: </p>
-<pre><code class="bash">git clone https://github.com/ANL-CEEESA/MIPLearn.git
-cd MIPLearn
-make install
 </code></pre>
 
 <p>After installation, the package <code>miplearn</code> should become available to Python. It can be imported
@@ -167,10 +165,6 @@ as follows:</p>
 <pre><code class="python">import miplearn
 </code></pre>
 
-<div class="admonition note">
-<p class="admonition-title">Note</p>
-<p>To install MIPLearn in another Python environment, switch to that environment before running <code>make install</code>. To install the package in development mode, run <code>make develop</code> instead.</p>
-</div>
 <h3 id="using-learningsolver">Using <code>LearningSolver</code></h3>
 <p>The main class provided by this package is <code>LearningSolver</code>, a learning-enhanced MIP solver which uses information from previously solved instances to accelerate the solution of new instances. The following example shows its basic usage:</p>
 <pre><code class="python">from miplearn import LearningSolver
@@ -277,6 +271,12 @@ solver.parallel_solve(test_instances)
     <script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
     <script src="../js/bootstrap-3.0.3.min.js"></script>
 
+    
+    <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
+        
+    <script>hljs.initHighlightingOnLoad();</script>
+    
+
     <script>var base_url = ".."</script>
     
     <script src="../js/base.js"></script>

dev/404.html

@@ -8,7 +8,7 @@
     
     
     
-    <link rel="/img/favicon.ico">
+    <link rel="shortcut icon" href="/img/favicon.ico">
 
     
     <title>MIPLearn</title>
@@ -24,6 +24,10 @@
     <link href="/css/cinder.min.css" rel="stylesheet">
 
     
+        
+        <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
+        
+    
     <link href="/css/custom.css" rel="stylesheet">
 
     <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
@@ -144,6 +148,12 @@
     <script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
     <script src="/js/bootstrap-3.0.3.min.js"></script>
 
+    
+    <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
+        
+    <script>hljs.initHighlightingOnLoad();</script>
+    
+
     <script>var base_url = "/"</script>
     
     <script src="/js/base.js"></script>

dev/about/index.html

@@ -8,7 +8,7 @@
     
     
     
-    <link rel="../img/favicon.ico">
+    <link rel="shortcut icon" href="../img/favicon.ico">
 
     
     <title>About - MIPLearn</title>
@@ -24,6 +24,10 @@
     <link href="../css/cinder.min.css" rel="stylesheet">
 
     
+        
+        <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
+        
+    
     <link href="../css/custom.css" rel="stylesheet">
 
     <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
@@ -118,7 +122,7 @@
                         </a>
                     </li>
                     <li>
-                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/master/src/docs/about.md"><i class="fab fa-github"></i> Edit on GitHub</a>
+                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/dev/docs/about.md"><i class="fab fa-github"></i> Edit on GitHub</a>
                     </li>
             </ul>
         </div>
@@ -202,6 +206,12 @@ POSSIBILITY OF SUCH DAMAGE.
     <script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
     <script src="../js/bootstrap-3.0.3.min.js"></script>
 
+    
+    <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
+        
+    <script>hljs.initHighlightingOnLoad();</script>
+    
+
     <script>var base_url = ".."</script>
     
     <script src="../js/base.js"></script>

dev/benchmark/index.html

@@ -8,7 +8,7 @@
     
     
     
-    <link rel="../img/favicon.ico">
+    <link rel="shortcut icon" href="../img/favicon.ico">
 
     
     <title>Benchmark - MIPLearn</title>
@@ -24,6 +24,10 @@
     <link href="../css/cinder.min.css" rel="stylesheet">
 
     
+        
+        <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
+        
+    
     <link href="../css/custom.css" rel="stylesheet">
 
     <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
@@ -118,7 +122,7 @@
                         </a>
                     </li>
                     <li>
-                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/master/src/docs/benchmark.md"><i class="fab fa-github"></i> Edit on GitHub</a>
+                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/dev/docs/benchmark.md"><i class="fab fa-github"></i> Edit on GitHub</a>
                     </li>
             </ul>
         </div>
@@ -208,6 +212,12 @@ benchmark.parallel_solve(test_instances)
     <script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
     <script src="../js/bootstrap-3.0.3.min.js"></script>
 
+    
+    <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
+        
+    <script>hljs.initHighlightingOnLoad();</script>
+    
+
     <script>var base_url = ".."</script>
     
     <script src="../js/base.js"></script>

dev/customization/index.html

@@ -8,7 +8,7 @@
     
     
     
-    <link rel="../img/favicon.ico">
+    <link rel="shortcut icon" href="../img/favicon.ico">
 
     
     <title>Customization - MIPLearn</title>
@@ -24,6 +24,10 @@
     <link href="../css/cinder.min.css" rel="stylesheet">
 
     
+        
+        <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
+        
+    
     <link href="../css/custom.css" rel="stylesheet">
 
     <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
@@ -118,7 +122,7 @@
                         </a>
                     </li>
                     <li>
-                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/master/src/docs/customization.md"><i class="fab fa-github"></i> Edit on GitHub</a>
+                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/dev/docs/customization.md"><i class="fab fa-github"></i> Edit on GitHub</a>
                     </li>
             </ul>
         </div>
@@ -302,6 +306,12 @@ comp.fit(train_instances)
     <script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
     <script src="../js/bootstrap-3.0.3.min.js"></script>
 
+    
+    <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
+        
+    <script>hljs.initHighlightingOnLoad();</script>
+    
+
     <script>var base_url = ".."</script>
     
     <script src="../js/base.js"></script>

dev/index.html

@@ -8,7 +8,7 @@
     
     
     
-    <link rel="img/favicon.ico">
+    <link rel="shortcut icon" href="img/favicon.ico">
 
     
     <title>Home - MIPLearn</title>
@@ -24,6 +24,10 @@
     <link href="css/cinder.min.css" rel="stylesheet">
 
     
+        
+        <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
+        
+    
     <link href="css/custom.css" rel="stylesheet">
 
     <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
@@ -118,7 +122,7 @@
                         </a>
                     </li>
                     <li>
-                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/master/src/docs/index.md"><i class="fab fa-github"></i> Edit on GitHub</a>
+                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/dev/docs/index.md"><i class="fab fa-github"></i> Edit on GitHub</a>
                     </li>
             </ul>
         </div>
@@ -190,6 +194,12 @@
     <script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
     <script src="js/bootstrap-3.0.3.min.js"></script>
 
+    
+    <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
+        
+    <script>hljs.initHighlightingOnLoad();</script>
+    
+
     <script>var base_url = "."</script>
     
     <script src="js/base.js"></script>
@@ -268,6 +278,6 @@
 </html>
 
 <!--
-MkDocs version : 1.0.4
+MkDocs version : 1.1.2
-Build Date UTC : 2020-08-29 23:08:22
+Build Date UTC : 2020-08-29 23:20:16.579703+00:00
 -->

dev/problems/index.html

@@ -8,7 +8,7 @@
     
     
     
-    <link rel="../img/favicon.ico">
+    <link rel="shortcut icon" href="../img/favicon.ico">
 
     
     <title>Problems - MIPLearn</title>
@@ -24,6 +24,10 @@
     <link href="../css/cinder.min.css" rel="stylesheet">
 
     
+        
+        <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
+        
+    
     <link href="../css/custom.css" rel="stylesheet">
 
     <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
@@ -118,7 +122,7 @@
                         </a>
                     </li>
                     <li>
-                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/master/src/docs/problems.md"><i class="fab fa-github"></i> Edit on GitHub</a>
+                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/dev/docs/problems.md"><i class="fab fa-github"></i> Edit on GitHub</a>
                     </li>
             </ul>
         </div>
@@ -302,6 +306,12 @@ from the provided probability distributions <code>K</code> and <code>u</code>.</
     <script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
     <script src="../js/bootstrap-3.0.3.min.js"></script>
 
+    
+    <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
+        
+    <script>hljs.initHighlightingOnLoad();</script>
+    
+
     <script>var base_url = ".."</script>
     
     <script src="../js/base.js"></script>

dev/search/main.js

@@ -43,7 +43,7 @@ function displayResults (results) {
 
 function doSearch () {
   var query = document.getElementById('mkdocs-search-query').value;
-  if (query.length > 2) {
+  if (query.length > min_search_length) {
     if (!window.Worker) {
       displayResults(search(query));
     } else {
@@ -73,6 +73,8 @@ function onWorkerMessage (e) {
   } else if (e.data.results) {
     var results = e.data.results;
     displayResults(results);
+  } else if (e.data.config) {
+    min_search_length = e.data.config.min_search_length-1;
   }
 }
 

dev/search/worker.js

@@ -58,6 +58,7 @@ function onScriptsLoaded () {
   if (data.config && data.config.separator && data.config.separator.length) {
     lunr.tokenizer.separator = new RegExp(data.config.separator);
   }
+
   if (data.index) {
     index = lunr.Index.load(data.index);
     data.docs.forEach(function (doc) {
@@ -84,6 +85,7 @@ function onScriptsLoaded () {
     console.log('Lunr index built, search ready');
   }
   allowSearch = true;
+  postMessage({config: data.config});
   postMessage({allowSearch: allowSearch});
 }
 

dev/sitemap.xml

@@ -1,31 +1,25 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
+<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"><url>
-    <url>
      <loc>None</loc>
      <lastmod>2020-08-29</lastmod>
      <changefreq>daily</changefreq>
-    </url>
+    </url><url>
-    <url>
      <loc>None</loc>
      <lastmod>2020-08-29</lastmod>
      <changefreq>daily</changefreq>
-    </url>
+    </url><url>
-    <url>
      <loc>None</loc>
      <lastmod>2020-08-29</lastmod>
      <changefreq>daily</changefreq>
-    </url>
+    </url><url>
-    <url>
      <loc>None</loc>
      <lastmod>2020-08-29</lastmod>
      <changefreq>daily</changefreq>
-    </url>
+    </url><url>
-    <url>
      <loc>None</loc>
      <lastmod>2020-08-29</lastmod>
      <changefreq>daily</changefreq>
-    </url>
+    </url><url>
-    <url>
      <loc>None</loc>
      <lastmod>2020-08-29</lastmod>
      <changefreq>daily</changefreq>

dev/usage/index.html

@@ -8,7 +8,7 @@
     
     
     
-    <link rel="../img/favicon.ico">
+    <link rel="shortcut icon" href="../img/favicon.ico">
 
     
     <title>Usage - MIPLearn</title>
@@ -24,6 +24,10 @@
     <link href="../css/cinder.min.css" rel="stylesheet">
 
     
+        
+        <link rel="stylesheet" href="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/styles/github.min.css">
+        
+    
     <link href="../css/custom.css" rel="stylesheet">
 
     <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
@@ -118,7 +122,7 @@
                         </a>
                     </li>
                     <li>
-                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/master/src/docs/usage.md"><i class="fab fa-github"></i> Edit on GitHub</a>
+                        <a href="https://github.com/ANL-CEEESA/MIPLearn/edit/dev/docs/usage.md"><i class="fab fa-github"></i> Edit on GitHub</a>
                     </li>
             </ul>
         </div>
@@ -267,6 +271,12 @@ solver.parallel_solve(test_instances)
     <script src="//ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
     <script src="../js/bootstrap-3.0.3.min.js"></script>
 
+    
+    <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.18.0/build/highlight.min.js"></script>
+        
+    <script>hljs.initHighlightingOnLoad();</script>
+    
+
     <script>var base_url = ".."</script>
     
     <script src="../js/base.js"></script>