linny-r 1.7.3 → 1.8.0

package/README.md

@@ -30,7 +30,7 @@ Technical documentation will be developed on GitHub: https://github.com/pwgbots/
 Linny-R is developed as a JavaScript package, and requires that **Node.js** is installed on your computer. 
 This software can be downloaded from <a href="https://nodejs.org" target="_blank">https://nodejs.org</a>. 
 Make sure that you choose the correct installer for your computer.
-Linny-R is developed using the _current_ release. Presently (October 2023) this is 21.1.0. 
+Linny-R is developed using the _current_ release. Presently (November 2023) this is 21.2.0. 
 
 Run the installer and accept the default settings.
 There is **no** need to install the optional _Tools for Native Modules_.
@@ -41,7 +41,7 @@ Verify the installation by typing:
 
 ``node --version``
 
-The response should be the version number of Node.js, for example: v21.1.0.
+The response should be the version number of Node.js, for example: v21.2.0.
 
 ## Installing Linny-R
 It is advisable to install Linny-R in a directory on your computer, not in a cloud. 
@@ -66,7 +66,7 @@ and then type at the command line prompt:
 
 ``npm install --prefix . linny-r``
 
-> **Important**
+> [!IMPORTANT]
 > The spacing around the dot is essential. Type the command in lower case.
 
 After installation has completed, `Linny-R` should have this directory tree structure:
@@ -98,7 +98,7 @@ on a Windows machine the batch script `linny-r.bat`. By default, this script fil
 two commands: first change to the Linny-R directory and then tell Node.js to launch the
 start the Linny-R server.
 
-> **Note**
+> [!NOTE]
 > When configuring Linny-R for a network environment where individual users
 > each have their personal work space (e.g., a virtual drive U:), you must edit this script file,
 > adding the argument `workspace=path/to/workspace` to the `node` command.
@@ -129,7 +129,7 @@ version 1.4.0, open the CLI, change to your `Linny-R` directory, and then type:
 
 ``npm install linny-r@1.4.0``
 
-> **Note**
+> [!NOTE]
 > This will overwrite the contents of the `node_modules` directory, but
 > it will not affect the files in your user space.
 
@@ -139,7 +139,7 @@ directory and type:
 
 ``npm install --prefix . linny-r@1.4.0``
 
-> **Note**
+> [!NOTE]
 > To run a specific version in your browser, you must start the server from
 > the directory where you installed this version.
 > Should you wish to run two different versions concurrently, you must use
@@ -147,12 +147,12 @@ directory and type:
 
 ## Configuring the MILP solver
 
-Linny-R presently supports four MILP solvers: Gurobi, CPLEX, SCIP and LP_solve. 
-Gurobi and CPLEX are _considerably_ more powerful than the open source solvers SCIP and LP_solve,
+Linny-R presently supports five MILP solvers: Gurobi, MOSEK, CPLEX, SCIP and LP_solve. 
+Gurobi, MOSEK and CPLEX are _considerably_ more powerful than the open source solvers SCIP and LP_solve,
 but they require a license.
-Academic licenses can be obtained by students and staff of eligible institutions. 
+Academic licenses can be obtained by students and staff of eligible institutions.
 
-> **Important**
+> [!IMPORTANT]
 > When installing a solver, it is advisable to accept the default file
 > locations that are proposed by the installer.
 > After installation, do **not** move files to some other directory,
@@ -182,6 +182,17 @@ It will look for this application in the directory specified in the environment
 or more specifically in the environment variable CPLEX_STUDIO_BINARIES<em>nnnn</em>
 (where _nnnn_ denotes the CPLEX version number) on your computer.
 
+#### Installing MOSEK
+
+The software you need to install is **MOSEK**.
+More information on how to obtain a license, and instructions for installing
+MOSEK on your computer can be obtained via this URL:
+<a href="https://www.mosek.com/resources/getting-started/"
+   target="_blank">https://www.mosek.com/resources/getting-started/</a>
+
+When running a model, Linny-R will try to execute the command line application `mosek`.
+It will look for this application in the directory specified in the environment variable PATH on your computer.
+
 #### Installing SCIP
 
 The SCIP software is open source. Instructions for installation can be found via this URL:
@@ -234,8 +245,8 @@ Open the Command Line Interface (CLI) of your computer, change to your Linny-R d
 This response should be something similar to:
 
 <pre>
-Node.js server for Linny-R version 1.7.0
-Node.js version: v21.1.0
+Node.js server for Linny-R version 1.7.4
+Node.js version: v21.2.0
 ... etc.
 </pre>
 
@@ -245,13 +256,13 @@ The Linny-R GUI should show in your browser window,
 while in the CLI you should see a long series of server log messages like:
 
 <pre>
-[2023-10-29 22:55:17] Static file: /index.html
-[2023-10-29 22:55:17] Static file: /scripts/iro.min.js
-[2023-10-29 22:55:17] Static file: /images/open.png
+[2023-11-19 22:55:17] Static file: /index.html
+[2023-11-19 22:55:17] Static file: /scripts/iro.min.js
+[2023-11-19 22:55:17] Static file: /images/open.png
 ... etc.
 </pre>
 
-> **Important**
+> [!IMPORTANT]
 > Do **not** close the CLI. If you do, the Linny-R GUI may still be
 > visible in your browser, but you will be warned that it cannot connect
 > to the server (at 127.0.0.1:5050). This means that you have to restart
@@ -278,7 +289,7 @@ and then the diagram will be updated to reflect the obtained solution.
 Meanwhile, in the CLI, you should see a server log message like:
 
 <pre>
-Solve block 1 a
+Solve block 1 a with SCIP
 </pre>
 
 To end a modeling session, you can shut down the server by clicking on the
@@ -295,7 +306,7 @@ Optionally, you can add more arguments to the `node` command:
 dpi=[number]       to overrule the default resolution (300 dpi) for Inkscape 
 launch             to automatically launch Linny-R in your default browser
 port=[number]      to overrule the default port number (5050)
-solver=[name]      to overrule the default sequence (Gurobi, CPLEX, SCIP, LP_solve)
+solver=[name]      to overrule the default sequence (Gurobi, MOSEK, CPLEX, SCIP, LP_solve)
 workspace=[path]   to overrule the default path for the user directory
 </pre>
 
@@ -337,7 +348,7 @@ The sub-directories of this directory `user` are used by Linny-R to store files.
 * `solver` will contain the files that are exchanged with the Mixed Integer Linear Programming (MILP) solver
   (the names of the files that will appear in this directory may vary, depending on the MILP-solver you use)
 
-> **Note**
+> [!NOTE]
 > By default, the `user` directory is created in your `Linny-R` directory.
 > You can overrule this by starting the server with the `workspace=[path]` option.
 > This will create a new, empty workspace (the directories listed above) in the specified path.
@@ -370,7 +381,7 @@ Linny-R will automatically detect whether Inkscape is installed by searching
 for it in the environment variable PATH on your computer. On a macOS computer,
 Linny-R will look for Inkscape in `/Applications/Inkscape.app/Contents/MacOS`.
 
-> **Note**
+> [!NOTE]
 > The installation wizard for Inkscape (version 1.3) may **not**
 > add the application to the PATH variable. Please check whether you need to
 > do this yourself.
@@ -385,7 +396,7 @@ If you open a CLI box, change to your `Linny-R` directory, and then type:
 
 you will see the command line options that allow you to run models in various ways.
 
-> **Note**
+> [!NOTE]
 > The console-only version is still in development, and does not provide all functions yet.
 
 ## Troubleshooting problems
@@ -394,7 +405,7 @@ If during any of the steps above you encounter problems, please try to diagnose
 You can find a lot of useful information on the Linny-R user documentation website:
 <a href="https://linny-r.info" target="_blank">https://linny-r.info</a>.
 
-> **Important**
+> [!IMPORTANT]
 > To diagnose a problem, always look in the CLI box where Node.js is running, 
 > as informative server-side error messages will appear there.
 

package/console.js

@@ -198,7 +198,7 @@ class ConsoleMonitor {
   logOnToServer() {
     VM.solver_user = '';
     VM.solver_token = 'local host';
-    VM.solver_name = SOLVER.id;
+    VM.solver_id = SOLVER.id;
   }
 
   connectToServer() {
@@ -1081,7 +1081,7 @@ if(SETTINGS.model_path) {
         // NOTE: Solver preference in model overrides default solver.
         const mps = MODEL.preferred_solver;
         if(mps && SOLVER.solver_list.hasOwnProperty(mps)) {
-          VM.solver_name = mps;
+          VM.solver_id = mps;
           SOLVER.id = mps;
           console.log(`Using solver ${SOLVER.name} (model preference)`);
         }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "linny-r",
-  "version": "1.7.3",
+  "version": "1.8.0",
   "description": "Executable graphical language with WYSIWYG editor for MILP models",
   "main": "server.js",
   "scripts": {

package/server.js

@@ -124,7 +124,7 @@ function checkNodeModule(name) {
 }
 
 // Currently, these external solvers are supported:
-const SUPPORTED_SOLVERS = ['gurobi', 'cplex', 'scip', 'lp_solve'];
+const SUPPORTED_SOLVERS = ['gurobi', 'mosek', 'cplex', 'scip', 'lp_solve'];
 
 // Load class MILPSolver
 const MILPSolver = require('./static/scripts/linny-r-milp.js');
@@ -1555,7 +1555,7 @@ Possible options are:
   port=[number]      will listen at the specified port number
                      (default is 5050; number must be unique for each server)
   solver=[name]      will select solver [name], or warn if not found
-                     (name choices: Gurobi, CPLEX, SCIP or LP_solve)
+                     (name choices: Gurobi, MOSEK, CPLEX, SCIP or LP_solve)
   verbose            will output solver messages to the console
   workspace=[path]   will create workspace in [path] instead of (Linny-R)/user
 `;

package/static/index.html

@@ -723,26 +723,33 @@ NOTE: Unit symbols are case-sensitive, so BTU ≠ Btu">
       </div>
       <table style="width: 100%">
         <tr title="This solver will be used if it is installed">
-          <td>
+          <td colspan="2">
             <label>Preferred solver:</label>
             <select id="solver-preference">
             </select>
           </td>
         </tr>
         <tr title="Tolerance may range from 1e-9 to 0.1">
-          <td>
+          <td colspan="2">
             <label>Integer feasibility tolerance:</label>
-            <input id="solver-int-feasibility" style="width: 55px"
+            <input id="solver-int-feasibility" style="width: 65px"
                    placeholder="5e-7" type="text" autocomplete="off">
           </td>
         </tr>
         <tr title="Relative gap may range from 0 to 0.5">
-          <td>
+          <td colspan="2">
             <label>Relative MIP gap:</label>
-            <input id="solver-mip-gap" style="width: 55px"
+            <input id="solver-mip-gap" style="width: 65px"
                    placeholder="1e-4" type="text" autocomplete="off">
           </td>
         </tr>
+        <tr title="When checked, finite process bounds and slack variables are always added">
+          <td style="padding:0px">
+            <div id="solver-diagnose" class="box clear"></div>
+          </td>
+          <td style="padding-bottom:4px">Diagnose infeasible/unbounded problems</td>
+          </td>
+        </tr>
       </table>
     </div>
   </div>
@@ -1347,6 +1354,7 @@ NOTE: Unit symbols are case-sensitive, so BTU &ne; Btu">
           <div id="constraint-no-slack" class="box clear"></div>
           <div id="constraint-no-slack-lbl">No slack</div>
         </div>
+        <div id="constraint-convex"></div>
         <div id="constraint-soc">
           <label>Attributed share of cost:</label>
           <select id="constraint-soc-direct">

package/static/linny-r.css

@@ -313,6 +313,15 @@ img.sbtn.senab:hover {
   filter: brightness(150%);
 }
 
+img.sgray {
+  width: 16px;
+  height: 16px;
+  margin: -1px;
+  vertical-align: middle;
+  filter: grayscale(100%);
+}
+
+
 /* Bounds button indicates whether LB = UB */
 div.bbtn {
   background-size: contain;
@@ -1002,7 +1011,7 @@ input.pws-5 {
 }
 
 #solver-dlg {
-  width: 212px;
+  width: 250px;
   height: min-content;
 }
 
@@ -1985,6 +1994,7 @@ div.menu-item:hover {
 #constraint-from-name,
 #constraint-to-name {
   display: inline-block;
+  vertical-align: middle;
   max-width: 190px;
   white-space: nowrap;
   overflow: hidden;
@@ -2025,7 +2035,15 @@ div.menu-item:hover {
   position: absolute;
   left: -2px;
   bottom: -1px;
-  width: 100px;
+  width: 75px;
+}
+
+#constraint-convex {
+  position: absolute;
+  left: 75px;
+  bottom: -2px;
+  color: #00c030;
+  font-size: 20px;
 }
 
 #constraint-no-slack-lbl {
@@ -2718,6 +2736,7 @@ td.equation-expression {
   top: 134px;
   left: 2px;
   width: calc(100% - 5px);
+  white-space: nowrap;
 }
 
 #series-clip {

package/static/scripts/linny-r-ctrl.js

@@ -1412,4 +1412,4 @@ if(NODE) module.exports = {
   ChartManager: ChartManager,
   SensitivityAnalysis: SensitivityAnalysis,
   ExperimentManager: ExperimentManager
-}
+};

package/static/scripts/linny-r-gui-constraint-editor.js

@@ -66,6 +66,7 @@ class ConstraintEditor {
     this.pos_y_div = document.getElementById('constraint-pos-y');
     this.point_div = document.getElementById('constraint-point');
     this.equation_div = document.getElementById('constraint-equation');
+    this.convex_div = document.getElementById('constraint-convex');
     this.add_point_btn = document.getElementById('add-point-btn');
     this.add_point_btn.addEventListener('click',
         () => CONSTRAINT_EDITOR.addPointToLine());
@@ -395,7 +396,7 @@ class ConstraintEditor {
   
   checkLines() {
     // Checks whether cursor is on a bound line and updates the constraint
-    // editor status accordingly
+    // editor status accordingly.
     this.on_line = null;
     this.on_point = -1;
     this.seg_points = null;
@@ -446,7 +447,10 @@ class ConstraintEditor {
   }
   
   updateEquation() {
-    var segeq = '';
+    // Show the equation for the line segment under the cursor, and
+    // indicate whether the bound line is concave or convex.
+    var segeq = '',
+        convex = '';
     if(this.on_line && this.seg_points) {
       const
           p1 = this.on_line.points[this.seg_points[0]],
@@ -466,7 +470,16 @@ class ConstraintEditor {
             (y0 < 0 ? ' - ' : ' + ') + Math.abs(y0).toPrecision(3));
       }
     }
+    if(this.on_line) {
+      const c = this.on_line.needsNoSOS;
+      if(c > 0) {
+        convex = '\u2934'; // Curved arrow up
+      } else if(c < 0) {
+        convex = '\u2935'; // Curved arrow down
+      }
+    }
     this.equation_div.innerHTML = segeq;
+    this.convex_div.innerHTML = convex;
   }
   
   positionPoint() {

package/static/scripts/linny-r-gui-controller.js

@@ -501,6 +501,9 @@ class GUIController extends Controller {
     
     // Visible draggable dialogs are sorted by their z-index.
     this.dr_dialog_order = [];
+    
+    // Record of message that was overridden by more important message.
+    this.old_info_line = null;
   }
   
   get color() {
@@ -617,7 +620,8 @@ class GUIController extends Controller {
             UI.updateButtons();
           }
         });
-    this.buttons.solve.addEventListener('click', () => VM.solveModel());
+    this.buttons.solve.addEventListener('click',
+        (event) => VM.solveModel(event.altKey));
     this.buttons.stop.addEventListener('click', () => VM.halt());
     this.buttons.reset.addEventListener('click', () => UI.resetModel());
 
@@ -895,13 +899,16 @@ class GUIController extends Controller {
     // If not a valid Linny-R model, ensure that the current model is clean.
     if(!loaded) MODEL = new LinnyRModel();
     // If model specifies a preferred solver, immediately try to switch.
-    if(MODEL.preferred_solver !== VM.solver_name) {
+    if(MODEL.preferred_solver !== VM.solver_id) {
       UI.changeSolver(MODEL.preferred_solver);
     }
     this.updateScaleUnitList();
     this.drawDiagram(MODEL);
     // Cursor may have been set to `waiting` when decrypting.
     this.normalCursor();
+    // Reset the Virtual Machine.
+    VM.reset();
+    this.updateIssuePanel();
     this.setMessage('');
     this.updateButtons();
     // Undoable operations no longer apply!
@@ -992,7 +999,7 @@ class GUIController extends Controller {
     for(let i = 0; i < VM.solver_list.length; i++) {
       const s = VM.solver_list[i];
       html.push(['<option value="', s,
-          (s === VM.solver_name ? '"selected="selected' : ''),
+          (s === VM.solver_id ? '"selected="selected' : ''),
           '">', VM.solver_names[s], '</option>'].join(''));
     }
     md.element('solver').innerHTML = html.join('');
@@ -1028,7 +1035,7 @@ class GUIController extends Controller {
         })
       .then((data) => {
           if(UI.postResponseOK(data, true)) {
-            VM.solver_name = sid;
+            VM.selectSolver(sid);
             UI.modals.server.hide();
           }
         })
@@ -2662,12 +2669,13 @@ class GUIController extends Controller {
     
   setMessage(msg, type=null) {
     // Displays message on infoline unless no type (= plain text) and some
-    // info, warning or error message is already displayed
+    // info, warning or error message is already displayed.
     super.setMessage(msg, type);
     const types = ['notification', 'warning', 'error'];
     let d = new Date(),
         t = d.getTime(),
-        dt = t - this.time_last_message,
+        dt = t - this.time_last_message, // Time since display
+        rt = this.message_display_time - dt, // Time remaining
         mti = types.indexOf(type),
         lmti = types.indexOf(this.last_message_type);
     if(type) {
@@ -2680,18 +2688,36 @@ class GUIController extends Controller {
       // When receiver is active, add message to its log.
       if(RECEIVER.active) RECEIVER.log(`[${now}] ${msg}`);
     }
-    // Display text only if previous message has "timed out" or was less
-    // urgent than this one.
-    if(lmti < 0 || mti > lmti || dt >= this.message_display_time) {
+    if(mti === 1 && lmti === 2 && rt > 0) {
+      // Queue warnings if an error message is still being displayed.
+          setTimeout(() => {
+          UI.info_line.innerHTML = msg;
+          UI.info_line.classList.remove(...types);
+          UI.info_line.classList.add(type);
+          UI.updateIssuePanel();
+        }, rt);      
+    } else if(lmti < 0 || mti > lmti || rt <= 0) {
+      // Display text only if previous message has "timed out" or was less
+      // urgent than this one.
+      const override = mti === 2 && lmti === 1 && rt > 0;
       this.time_last_message = t;
       this.last_message_type = type;
       if(type) SOUNDS[type].play().catch(() => {
           console.log('NOTICE: Sounds will only play after first user action');
         });
-      const il = document.getElementById('info-line');
-      il.classList.remove(...types);
-      il.classList.add(type);
-      il.innerHTML = msg;
+      if(override && !this.old_info_line) {
+        // Set time-out to restore overridden warning.
+        this.old_info_line = {msg: this.info_line.innerHTML, status: types[lmti]};
+        setTimeout(() => {
+            UI.info_line.innerHTML = UI.old_info_line.msg;
+            UI.info_line.classList.add(UI.old_info_line.status);
+            UI.old_info_line = null;
+            UI.updateIssuePanel();
+          }, this.message_display_time);
+      }
+      UI.info_line.classList.remove(...types);
+      UI.info_line.classList.add(type);
+      UI.info_line.innerHTML = msg;
     }
   }
   
@@ -3627,6 +3653,7 @@ console.log('HERE name conflicts', name_conflicts, mapping);
     md.element('preference').innerHTML = html.join('');
     md.element('int-feasibility').value = MODEL.integer_tolerance;
     md.element('mip-gap').value = MODEL.MIP_gap;
+    this.setBox('solver-diagnose', MODEL.always_diagnose);
     md.show();
   }
   
@@ -3655,6 +3682,11 @@ console.log('HERE name conflicts', name_conflicts, mapping);
     }
     MODEL.integer_tolerance = Math.max(1e-9, Math.min(0.1, itol));
     MODEL.MIP_gap = Math.max(0, Math.min(0.5, mgap));
+    MODEL.always_diagnose = this.boxChecked('solver-diagnose');
+    if(MODEL.always_diagnose) {
+      UI.notify('To diagnose unbounded problems, values beyond 1e+10 ' +
+          'are considered as infinite (\u221E)');
+    }
     // Close the dialog.
     md.hide();
   }

package/static/scripts/linny-r-gui-equation-manager.js

@@ -234,7 +234,7 @@ class EquationManager {
       this.new_modal.hide();
       this.selected_modifier = m;
       this.updateDialog();
-      // Open expression editor if expression is still undefined
+      // Open expression editor if expression is still undefined.
       if(!m.expression.text) this.editEquation();
     }
   }
@@ -243,13 +243,13 @@ class EquationManager {
     const m = this.selected_modifier;
     if(m) {
       this.edited_expression = m.expression;
-      const md = UI.modals.expression;
-      md.element('property').innerHTML = this.selected_modifier.selector;
-      md.element('text').value = m.expression.text;
-      document.getElementById('variable-obj').value = 0;
+      X_EDIT.edited_input_id = '';
+      X_EDIT.property.innerHTML = this.selected_modifier.selector;
+      X_EDIT.text.value = m.expression.text;
+      X_EDIT.obj.value = 0;
       X_EDIT.updateVariableBar();
       X_EDIT.clearStatusBar();
-      md.show('text');
+      UI.modals.expression.show('text');
     }
   }
   

package/static/scripts/linny-r-gui-expression-editor.js

@@ -38,16 +38,16 @@ class ExpressionEditor {
     this.dataset_dot_option = '. (this dataset)';
     this.edited_input_id = '';
     this.edited_expression = null;
-    // Dialog DOM elements
+    // Dialog DOM elements.
     this.property = document.getElementById('expression-property');
     this.text = document.getElementById('expression-text');
     this.status = document.getElementById('expression-status');
     this.info = document.getElementById('expression-info');
-    // The DOM elements for the "insert variable" bar
+    // The DOM elements for the "insert variable" bar.
     this.obj = document.getElementById('variable-obj');
     this.name = document.getElementById('variable-name');
     this.attr = document.getElementById('variable-attr');
-    // The quick guide to Linny-R expressions
+    // The quick guide to Linny-R expressions.
     this.info.innerHTML = `
 <h3>Linny-R expressions</h3>
 <p><em>NOTE: Move cursor over a</em> <code>symbol</code>
@@ -229,6 +229,9 @@ NOTE: Grouping groups results in a single group, e.g., (1;2);(3;4;5) evaluates a
     // CLear other properties that relate to the edited expression.
     this.edited_input_id = '';
     this.edited_expression = null;
+    // Clear edited expression attributes of other dialogs.
+    DATASET_MANAGER.edited_expression = null;
+    EQUATION_MANAGER.edited_expression = null;
   }
   
   parseExpression() {

package/static/scripts/linny-r-gui-finder.js

@@ -294,7 +294,7 @@ class Finder {
         for(let i = 0; i < n; i++) {
           const e = this.entities[i];
           // Exclude "no actor" and top cluster.
-          if(e.name !== '(no_actor)' && e.name !== '(top_cluster)' &&
+          if(e.name && e.name !== '(no_actor)' && e.name !== '(top_cluster)' &&
               // Also exclude actor cash flow data products because
               // many of their properties should not be changed.
               !e.name.startsWith('$')) {

package/static/scripts/linny-r-gui-monitor.js

@@ -325,12 +325,12 @@ class GUIMonitor {
             UI.alert(jsr.error);
           } else if(jsr.server) {
             VM.solver_token = jsr.token;
-            VM.solver_name = jsr.solver;
+            VM.selectSolver(jsr.solver);
             // Remote solver may indicate user-specific solver time limit.
             let utl = '';
             if(jsr.time_limit) {
               VM.max_solver_time = jsr.time_limit;
-              utl = ` -- ${VM.solver_name} solver: ` +
+              utl = ` -- ${VM.solver_names[VM.solver_id]} solver: ` +
                   `max. ${VM.max_solver_time} seconds per block`;
               // If user has a set time limit, no restrictions on tableau size.
               VM.max_tableau_size = 0;
@@ -354,7 +354,7 @@ class GUIMonitor {
       VM.solver_token = 'local host';
       fetch('solver/', postData({
             action: 'logon',
-            solver: MODEL.preferred_solver || VM.solver_name}))
+            solver: MODEL.preferred_solver || VM.solver_id}))
         .then((response) => {
             if(!response.ok) {
               UI.alert(`ERROR ${response.status}: ${response.statusText}`);
@@ -367,10 +367,10 @@ class GUIMonitor {
                   jsr = JSON.parse(data),
                   sname = VM.solver_names[jsr.solver] || 'unknown',
                   svr = `Solver on ${jsr.server} is ${sname}`;
-              if(jsr.solver !== VM.solver_name) UI.notify(svr);
+              if(jsr.solver !== VM.solver_id) UI.notify(svr);
               VM.server = jsr.server;
               VM.working_directory = jsr.path;
-              VM.solver_name = jsr.solver;
+              VM.selectSolver(jsr.solver);
               VM.solver_list = jsr.solver_list;
               document.getElementById('host-logo').title  = svr;
               VM.connected = true;

package/static/scripts/linny-r-gui-paper.js

@@ -300,9 +300,9 @@ class Paper {
       at_process_ub_arrow: '#f0b0e8',
       // NOTE: special color when level at negative lower bound
       at_process_neg_lb: '#800050',
-      // Process with unbound level = +INF is displayed in maroon-red
-      infinite_level: '#a00001',
-      infinite_level_fill: '#ff90a0',
+      // Process with unbound level: +INF marine-blue, -INF maroon-red
+      plus_infinite_level: '#1000a0',
+      minus_infinite_level: '#a00010',
       // Process state change symbols are displayed in red
       switch_on_off: '#b00000',
       // Compound arrows with non-zero actual flow are displayed in red-purple
@@ -1979,9 +1979,16 @@ class Paper {
     if(MODEL.solved && !ignored) {
       if(l === VM.PLUS_INFINITY) {
         // Infinite level => unbounded solution
-        stroke_color = this.palette.infinite_level;
-        fill_color = this.palette.infinite_level_fill;
-        lrect_color = this.palette.infinite_level;
+        stroke_color = this.palette.plus_infinite_level;
+        fill_color = this.palette.above_upper_bound;
+        lrect_color = this.palette.plus_infinite_level;
+        font_color = 'white';
+        stroke_width = 2;
+      } else if(l === VM.MINUS_INFINITY) {
+        // Infinite level => unbounded solution
+        stroke_color = this.palette.minus_infinite_level;
+        fill_color = this.palette.below_lower_bound;
+        lrect_color = this.palette.minus_infinite_level;
         font_color = 'white';
         stroke_width = 2;
       } else if(l > ub - VM.SIG_DIF_FROM_ZERO ||