npm - @areb0s/scip.js - Versions diffs - 1.1.7 → 1.1.9 - Mend

@areb0s/scip.js 1.1.7 → 1.1.9

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (6) hide show

package/dist/scip-wrapper.js CHANGED Viewed

@@ -88,29 +88,32 @@ function parseStatus(output) {
 /**
  * Parse solution values from SCIP output
+ * @param {string} output - stdout from SCIP
+ * @param {string} rawSolution - solution file content (more reliable)
  */
-function parseSolution(output) {
+function parseSolution(output, rawSolution = null) {
   const variables = {};
   const objective = { value: null, sense: null };
+  // Use rawSolution if available (more reliable)
+  const solText = rawSolution || output;
   // Parse objective value
-  const objMatch = output.match(/objective value:\s*([\d.e+-]+)/i);
+  const objMatch = solText.match(/objective value:\s*([\d.e+-]+)/i);
   if (objMatch) {
     objective.value = parseFloat(objMatch[1]);
   }
   // Parse variable values from solution display
-  // Format: variable_name    value    (obj:coef)
-  const varRegex = /^(\w+)\s+([\d.e+-]+)/gm;
+  // Match ZIMPL-style variable names: x$sun#0, effSum$star#1, b_sun_10, etc.
+  // Format: variableName    value    (obj:coef)
+  const varRegex = /^([\w$#]+)\s+([\d.e+-]+)/gm;
   let match;
-  // Look for solution section
-  const solSection = output.split('solution:')[1] || output;
-  while ((match = varRegex.exec(solSection)) !== null) {
+  while ((match = varRegex.exec(solText)) !== null) {
     const name = match[1];
     const value = parseFloat(match[2]);
-    if (!isNaN(value) && name !== 'objective') {
+    if (!isNaN(value) && name !== 'objective' && name !== 'solution') {
       variables[name] = value;
     }
   }
@@ -329,12 +332,7 @@ export async function solve(problem, options = {}) {
     // Run SCIP with batch mode
     const exitCode = scipModule.callMain(['-b', '/settings/commands.txt']);
-    // Parse results
-    const status = parseStatus(stdout);
-    const { variables, objective } = parseSolution(stdout);
-    const statistics = parseStatistics(stdout);
-    // Try to read solution file
+    // Try to read solution file first (more reliable for parsing)
     let rawSolution = null;
     try {
       rawSolution = scipModule.FS.readFile(solutionFile, { encoding: 'utf8' });
@@ -342,6 +340,11 @@ export async function solve(problem, options = {}) {
       // Solution file may not exist if infeasible
     }
+    // Parse results
+    const status = parseStatus(stdout);
+    const { variables, objective } = parseSolution(stdout, rawSolution);
+    const statistics = parseStatistics(stdout);
     return {
       status,
       objective: objective.value,

package/dist/scip.js CHANGED Viewed

@@ -257,9 +257,11 @@ var Module=moduleArg;var readyPromiseResolve,readyPromiseReject;Module["ready"]=
         };
       } catch (error) {
+        // Handle both Error objects and raw values (Emscripten can throw numbers/strings)
+        var errorMsg = error instanceof Error ? error.message : String(error);
         return {
           status: Status.ERROR,
-          error: error.message,
+          error: errorMsg,
           output: stdout + stderr
         };
       }

package/package.json CHANGED Viewed

@@ -1,6 +1,6 @@
 {
   "name": "@areb0s/scip.js",
-  "version": "1.1.7",
+  "version": "1.1.9",
   "description": "SCIP Optimization Solver compiled to WebAssembly - LP, MIP, and MINLP support",
   "main": "dist/index.mjs",
   "module": "dist/index.mjs",

package/dist/basic.html DELETED Viewed

@@ -1,445 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
-  <meta charset="UTF-8">
-  <meta name="viewport" content="width=device-width, initial-scale=1.0">
-  <title>SCIP.js - Optimization Solver Demo</title>
-  <style>
-    * {
-      box-sizing: border-box;
-      margin: 0;
-      padding: 0;
-    }
-    body {
-      font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif;
-      background: linear-gradient(135deg, #1a1a2e 0%, #16213e 100%);
-      min-height: 100vh;
-      color: #e0e0e0;
-      padding: 2rem;
-    }
-    .container {
-      max-width: 1000px;
-      margin: 0 auto;
-    }
-    h1 {
-      text-align: center;
-      margin-bottom: 0.5rem;
-      color: #4fc3f7;
-    }
-    .subtitle {
-      text-align: center;
-      color: #888;
-      margin-bottom: 2rem;
-    }
-    .card {
-      background: rgba(255, 255, 255, 0.05);
-      border: 1px solid rgba(255, 255, 255, 0.1);
-      border-radius: 12px;
-      padding: 1.5rem;
-      margin-bottom: 1.5rem;
-    }
-    .card h2 {
-      color: #4fc3f7;
-      margin-bottom: 1rem;
-      font-size: 1.2rem;
-    }
-    .examples {
-      display: flex;
-      gap: 0.5rem;
-      flex-wrap: wrap;
-      margin-bottom: 1rem;
-    }
-    .example-btn {
-      padding: 0.5rem 1rem;
-      background: rgba(79, 195, 247, 0.2);
-      border: 1px solid rgba(79, 195, 247, 0.3);
-      border-radius: 6px;
-      color: #4fc3f7;
-      cursor: pointer;
-      font-size: 0.9rem;
-      transition: all 0.2s;
-    }
-    .example-btn:hover {
-      background: rgba(79, 195, 247, 0.3);
-    }
-    textarea {
-      width: 100%;
-      height: 300px;
-      background: #0d1117;
-      border: 1px solid #30363d;
-      border-radius: 8px;
-      color: #c9d1d9;
-      font-family: 'Monaco', 'Menlo', monospace;
-      font-size: 13px;
-      padding: 1rem;
-      resize: vertical;
-    }
-    .options {
-      display: grid;
-      grid-template-columns: repeat(auto-fit, minmax(200px, 1fr));
-      gap: 1rem;
-      margin-bottom: 1rem;
-    }
-    .option {
-      display: flex;
-      flex-direction: column;
-      gap: 0.3rem;
-    }
-    .option label {
-      font-size: 0.85rem;
-      color: #888;
-    }
-    .option input, .option select {
-      padding: 0.5rem;
-      background: #0d1117;
-      border: 1px solid #30363d;
-      border-radius: 4px;
-      color: #c9d1d9;
-    }
-    .solve-btn {
-      width: 100%;
-      padding: 1rem;
-      background: linear-gradient(135deg, #4fc3f7, #29b6f6);
-      border: none;
-      border-radius: 8px;
-      color: #1a1a2e;
-      font-size: 1.1rem;
-      font-weight: 600;
-      cursor: pointer;
-      transition: transform 0.2s;
-    }
-    .solve-btn:hover:not(:disabled) {
-      transform: scale(1.02);
-    }
-    .solve-btn:disabled {
-      opacity: 0.6;
-      cursor: not-allowed;
-    }
-    .result {
-      background: #0d1117;
-      border-radius: 8px;
-      padding: 1rem;
-    }
-    .status {
-      display: inline-block;
-      padding: 0.3rem 0.8rem;
-      border-radius: 4px;
-      font-weight: 600;
-      margin-bottom: 1rem;
-    }
-    .status.optimal { background: #238636; color: white; }
-    .status.infeasible { background: #da3633; color: white; }
-    .status.unknown { background: #9e6a03; color: white; }
-    .status.error { background: #da3633; color: white; }
-    .result-grid {
-      display: grid;
-      grid-template-columns: 1fr 1fr;
-      gap: 1rem;
-    }
-    .result-section h3 {
-      color: #4fc3f7;
-      margin-bottom: 0.5rem;
-      font-size: 1rem;
-    }
-    .result-section pre {
-      background: rgba(0,0,0,0.3);
-      padding: 0.8rem;
-      border-radius: 4px;
-      font-size: 0.9rem;
-      overflow-x: auto;
-    }
-    .loading {
-      display: none;
-      text-align: center;
-      padding: 2rem;
-    }
-    .loading.active {
-      display: block;
-    }
-    .spinner {
-      width: 40px;
-      height: 40px;
-      border: 3px solid rgba(79, 195, 247, 0.3);
-      border-top-color: #4fc3f7;
-      border-radius: 50%;
-      animation: spin 1s linear infinite;
-      margin: 0 auto 1rem;
-    }
-    @keyframes spin {
-      to { transform: rotate(360deg); }
-    }
-    .footer {
-      text-align: center;
-      margin-top: 2rem;
-      color: #666;
-      font-size: 0.85rem;
-    }
-    .footer a {
-      color: #4fc3f7;
-      text-decoration: none;
-    }
-  </style>
-</head>
-<body>
-  <div class="container">
-    <h1>SCIP.js</h1>
-    <p class="subtitle">SCIP Optimization Solver in WebAssembly - LP, MIP, MINLP Support</p>
-    <div class="card">
-      <h2>Problem Input (LP Format)</h2>
-      <div class="examples">
-        <button class="example-btn" onclick="loadExample('lp')">LP</button>
-        <button class="example-btn" onclick="loadExample('mip')">MIP</button>
-        <button class="example-btn" onclick="loadExample('minlp')">MINLP (Quadratic)</button>
-        <button class="example-btn" onclick="loadExample('minlp2')">MINLP (Facility)</button>
-        <button class="example-btn" onclick="loadExample('knapsack')">Knapsack</button>
-        <button class="example-btn" onclick="loadExample('transportation')">Transportation</button>
-      </div>
-      <textarea id="problem"></textarea>
-    </div>
-    <div class="card">
-      <h2>Solver Options</h2>
-      <div class="options">
-        <div class="option">
-          <label>Time Limit (seconds)</label>
-          <input type="number" id="timeLimit" value="60" min="1" max="3600">
-        </div>
-        <div class="option">
-          <label>Gap Tolerance (%)</label>
-          <input type="number" id="gap" value="0" min="0" max="100" step="0.1">
-        </div>
-        <div class="option">
-          <label>Verbose Output</label>
-          <select id="verbose">
-            <option value="false">No</option>
-            <option value="true">Yes</option>
-          </select>
-        </div>
-      </div>
-      <button class="solve-btn" id="solveBtn" onclick="solveProblem()">
-        Solve Optimization Problem
-      </button>
-    </div>
-    <div class="card">
-      <h2>Results</h2>
-      <div class="loading" id="loading">
-        <div class="spinner"></div>
-        <p>Solving... Please wait</p>
-      </div>
-      <div class="result" id="result">
-        <p style="color: #666;">Results will appear here after solving</p>
-      </div>
-    </div>
-    <p class="footer">
-      Powered by <a href="https://scipopt.org" target="_blank">SCIP Optimization Suite</a> |
-      <a href="https://github.com/user/scip.js" target="_blank">GitHub</a>
-    </p>
-  </div>
-  <script type="module">
-    import SCIP from './index.mjs';
-    // Make available globally
-    window.SCIP = SCIP;
-    // Example problems
-    const examples = {
-      lp: `\\ Simple Linear Programming Example
-\\ Minimize production cost
-Minimize
-  obj: 2 x1 + 3 x2 + 4 x3
-Subject To
-  demand1: x1 + x2 + x3 >= 100
-  demand2: 2 x1 + x2 >= 80
-  capacity: x1 + 2 x2 + 3 x3 <= 200
-Bounds
-  0 <= x1 <= 50
-  0 <= x2 <= 60
-  0 <= x3 <= 40
-End`,
-      mip: `\\ Mixed Integer Programming Example
-\\ Facility location problem
-Minimize
-  obj: 100 y1 + 150 y2 + 80 y3 + 5 x11 + 8 x12 + 6 x13 + 10 x21 + 4 x22 + 9 x23
-Subject To
-  \\ Customer demands
-  customer1: x11 + x21 >= 50
-  customer2: x12 + x22 >= 30
-  customer3: x13 + x23 >= 40
-  \\ Facility capacities (only if open)
-  facility1: x11 + x12 + x13 - 100 y1 <= 0
-  facility2: x21 + x22 + x23 - 100 y2 <= 0
-Bounds
-  0 <= x11
-  0 <= x12
-  0 <= x13
-  0 <= x21
-  0 <= x22
-  0 <= x23
-Binary
-  y1 y2 y3
-End`,
-      minlp: `\\ Mixed Integer Nonlinear Programming (MINLP) Example
-\\ Portfolio optimization with discrete lot sizes
-\\
-\\ Minimize quadratic risk (variance) with integer constraints
-\\ This is a MIQP (Mixed Integer Quadratic Program)
-Minimize
-  obj: [ x1^2 + 2 x2^2 + x1 * x2 ] / 2
-Subject To
-  \\ Total investment must be at least 100 units
-  budget: x1 + x2 >= 100
-  \\ Risk constraint
-  risk: x1 - x2 <= 50
-  \\ Minimum diversification
-  diverse: x2 >= 20
-Bounds
-  0 <= x1 <= 200
-  0 <= x2 <= 200
-General
-  x1
-End`,
-      minlp2: `\\ MINLP: Facility Location with Quadratic Costs
-\\ Open facilities (binary) with nonlinear shipping costs
-Minimize
-  obj: 50 open1 + 80 open2 + [ ship1^2 + ship2^2 ] / 2
-Subject To
-  \\ Must ship at least 10 units total
-  demand: ship1 + ship2 >= 10
-  \\ Can only ship from open facilities
-  cap1: ship1 - 20 open1 <= 0
-  cap2: ship2 - 20 open2 <= 0
-Bounds
-  0 <= ship1 <= 20
-  0 <= ship2 <= 20
-Binary
-  open1 open2
-End`,
-      knapsack: `\\ 0-1 Knapsack Problem
-\\ Select items to maximize value within weight limit
-Maximize
-  obj: 60 item1 + 100 item2 + 120 item3 + 80 item4 + 90 item5
-Subject To
-  weight: 10 item1 + 20 item2 + 30 item3 + 15 item4 + 25 item5 <= 50
-Binary
-  item1 item2 item3 item4 item5
-End`,
-      transportation: `\\ Transportation Problem
-\\ Ship goods from 2 plants to 3 customers at minimum cost
-Minimize
-  obj: 8 x11 + 6 x12 + 10 x13 + 9 x21 + 12 x22 + 7 x23
-Subject To
-  \\ Supply constraints
-  plant1: x11 + x12 + x13 <= 100
-  plant2: x21 + x22 + x23 <= 150
-  \\ Demand constraints
-  cust1: x11 + x21 >= 80
-  cust2: x12 + x22 >= 70
-  cust3: x13 + x23 >= 60
-Bounds
-  x11 >= 0
-  x12 >= 0
-  x13 >= 0
-  x21 >= 0
-  x22 >= 0
-  x23 >= 0
-End`
-    };
-    window.loadExample = function(name) {
-      document.getElementById('problem').value = examples[name] || '';
-    };
-    window.solveProblem = async function() {
-      const problem = document.getElementById('problem').value;
-      const timeLimit = parseInt(document.getElementById('timeLimit').value) || 60;
-      const gap = parseFloat(document.getElementById('gap').value) / 100 || null;
-      const verbose = document.getElementById('verbose').value === 'true';
-      const loading = document.getElementById('loading');
-      const result = document.getElementById('result');
-      const solveBtn = document.getElementById('solveBtn');
-      loading.classList.add('active');
-      result.innerHTML = '';
-      solveBtn.disabled = true;
-      try {
-        const solution = await SCIP.solve(problem, {
-          timeLimit,
-          gap,
-          verbose
-        });
-        displayResult(solution);
-      } catch (error) {
-        result.innerHTML = `
-          <span class="status error">Error</span>
-          <pre>${error.message}</pre>
-        `;
-      } finally {
-        loading.classList.remove('active');
-        solveBtn.disabled = false;
-      }
-    };
-    function displayResult(solution) {
-      const result = document.getElementById('result');
-      const statusClass = {
-        'optimal': 'optimal',
-        'infeasible': 'infeasible',
-        'unbounded': 'infeasible',
-        'timelimit': 'unknown',
-        'unknown': 'unknown',
-        'error': 'error'
-      }[solution.status] || 'unknown';
-      let html = `<span class="status ${statusClass}">${solution.status.toUpperCase()}</span>`;
-      if (solution.status === 'optimal' || solution.objective !== null) {
-        html += `
-          <div class="result-grid">
-            <div class="result-section">
-              <h3>Objective Value</h3>
-              <pre>${solution.objective}</pre>
-              <h3>Variables</h3>
-              <pre>${JSON.stringify(solution.variables, null, 2)}</pre>
-            </div>
-            <div class="result-section">
-              <h3>Statistics</h3>
-              <pre>${JSON.stringify(solution.statistics, null, 2)}</pre>
-            </div>
-          </div>
-        `;
-      }
-      if (solution.error) {
-        html += `<pre style="color: #da3633;">${solution.error}</pre>`;
-      }
-      result.innerHTML = html;
-    }
-    // Load LP example by default
-    loadExample('lp');
-    // Initialize SCIP
-    console.log('Initializing SCIP.js...');
-    SCIP.init().then(() => {
-      console.log('SCIP.js ready!');
-    }).catch(err => {
-      console.error('Failed to initialize SCIP:', err);
-    });
-  </script>
-</body>
-</html>

package/dist/test-browser.html DELETED Viewed

@@ -1,118 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
-  <meta charset="UTF-8">
-  <meta name="viewport" content="width=device-width, initial-scale=1.0">
-  <title>SCIP.js Browser Bundle Test</title>
-  <style>
-    body {
-      font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif;
-      max-width: 800px;
-      margin: 40px auto;
-      padding: 20px;
-      background: #1a1a2e;
-      color: #e0e0e0;
-    }
-    h1 { color: #4fc3f7; }
-    pre {
-      background: #0d1117;
-      padding: 15px;
-      border-radius: 8px;
-      overflow-x: auto;
-    }
-    .success { color: #4caf50; }
-    .error { color: #f44336; }
-    button {
-      background: #4fc3f7;
-      color: #1a1a2e;
-      border: none;
-      padding: 10px 20px;
-      border-radius: 6px;
-      cursor: pointer;
-      font-size: 16px;
-      margin: 10px 5px 10px 0;
-    }
-    button:hover { background: #29b6f6; }
-    #result { margin-top: 20px; }
-  </style>
-</head>
-<body>
-  <h1>SCIP.js Browser Bundle Test</h1>
-  <p>Testing the IIFE bundle loaded via <code>&lt;script&gt;</code> tag (no type="module")</p>
-  <button onclick="testSCIP()">Run Test</button>
-  <button onclick="checkGlobal()">Check Global SCIP</button>
-  <div id="result">
-    <p>Click "Run Test" to solve a simple LP problem</p>
-  </div>
-  <!-- Load the browser bundle WITHOUT type="module" -->
-  <script src="scip.min.js"></script>
-  <script>
-    // This should work because SCIP is exposed globally
-    function log(msg, isError = false) {
-      const result = document.getElementById('result');
-      result.innerHTML += `<pre class="${isError ? 'error' : ''}">${msg}</pre>`;
-    }
-    function checkGlobal() {
-      const result = document.getElementById('result');
-      result.innerHTML = '';
-      if (typeof SCIP !== 'undefined') {
-        log('window.SCIP exists: ' + JSON.stringify(Object.keys(SCIP), null, 2), false);
-      } else {
-        log('ERROR: window.SCIP is undefined!', true);
-      }
-    }
-    async function testSCIP() {
-      const result = document.getElementById('result');
-      result.innerHTML = '<p>Running...</p>';
-      try {
-        // Check if SCIP is available
-        if (typeof SCIP === 'undefined') {
-          throw new Error('SCIP is not defined. Bundle may not have loaded correctly.');
-        }
-        log('SCIP object found. Available methods: ' + Object.keys(SCIP).join(', '));
-        // Initialize SCIP
-        log('Initializing SCIP...');
-        await SCIP.init({ wasmPath: './scip.wasm' });
-        log('SCIP initialized successfully!');
-        // Solve a simple LP problem
-        const problem = `
-          Minimize
-            obj: 2 x + 3 y
-          Subject To
-            c1: x + y >= 4
-            c2: 2 x + y >= 5
-          Bounds
-            x >= 0
-            y >= 0
-          End
-        `;
-        log('Solving LP problem...');
-        const solution = await SCIP.solve(problem);
-        log('<span class="success">Solution found!</span>');
-        log('Status: ' + solution.status);
-        log('Objective: ' + solution.objective);
-        log('Variables: ' + JSON.stringify(solution.variables, null, 2));
-        log('Statistics: ' + JSON.stringify(solution.statistics, null, 2));
-      } catch (error) {
-        log('Error: ' + error.message, true);
-        console.error(error);
-      }
-    }
-  </script>
-</body>
-</html>

package/dist/test-worker.html DELETED Viewed

@@ -1,161 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
-  <meta charset="UTF-8">
-  <meta name="viewport" content="width=device-width, initial-scale=1.0">
-  <title>SCIP.js Worker Test (OpenCV-style)</title>
-  <style>
-    body {
-      font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif;
-      max-width: 800px;
-      margin: 40px auto;
-      padding: 20px;
-      background: #1a1a2e;
-      color: #e0e0e0;
-    }
-    h1 { color: #4fc3f7; }
-    pre {
-      background: #0d1117;
-      padding: 15px;
-      border-radius: 8px;
-      overflow-x: auto;
-      white-space: pre-wrap;
-    }
-    .success { color: #4caf50; }
-    .error { color: #f44336; }
-    button {
-      background: #4fc3f7;
-      color: #1a1a2e;
-      border: none;
-      padding: 10px 20px;
-      border-radius: 6px;
-      cursor: pointer;
-      font-size: 16px;
-      margin: 10px 5px 10px 0;
-    }
-    button:hover { background: #29b6f6; }
-    #result { margin-top: 20px; }
-    code { background: #0d1117; padding: 2px 6px; border-radius: 4px; }
-  </style>
-</head>
-<body>
-  <h1>SCIP.js Worker Test (OpenCV-style)</h1>
-  <p>Testing CDN loading pattern like OpenCV in Worker</p>
-  <button onclick="testInWorker()">Run Test in Worker</button>
-  <div id="result">
-    <pre>Click "Run Test in Worker" to test OpenCV-style loading pattern</pre>
-  </div>
-  <h2>Worker Code Pattern:</h2>
-  <pre>
-// Set base URL before loading
-self.SCIP_BASE_URL = 'https://cdn.../dist/';
-// Fetch and execute script
-const response = await fetch(self.SCIP_BASE_URL + 'scip.min.js');
-new Function(await response.text())();
-// Wait for initialization (like OpenCV's cv.ready)
-await self.SCIP.ready;
-// Use SCIP
-const result = await self.SCIP.solve(`...`);
-  </pre>
-  <script>
-    function log(msg) {
-      document.getElementById('result').innerHTML += msg + '\n';
-    }
-    async function testInWorker() {
-      document.getElementById('result').innerHTML = '<pre>Starting Worker test...\n';
-      // Get base URL from current page
-      const pageBaseUrl = window.location.href.substring(0, window.location.href.lastIndexOf('/') + 1);
-      // Create inline worker
-      const workerCode = `
-        (async () => {
-          try {
-            self.postMessage({ type: 'log', msg: 'Worker started' });
-            // Set base URL (passed from main thread)
-            self.SCIP_BASE_URL = '${pageBaseUrl}';
-            self.postMessage({ type: 'log', msg: 'SCIP_BASE_URL set to: ' + self.SCIP_BASE_URL });
-            // Fetch and execute script (OpenCV pattern)
-            self.postMessage({ type: 'log', msg: 'Fetching scip.min.js...' });
-            const response = await fetch(self.SCIP_BASE_URL + 'scip.min.js');
-            if (!response.ok) throw new Error('Failed to fetch: ' + response.status);
-            const scriptText = await response.text();
-            self.postMessage({ type: 'log', msg: 'Script loaded (' + scriptText.length + ' bytes)' });
-            // Execute script
-            self.postMessage({ type: 'log', msg: 'Executing script...' });
-            new Function(scriptText)();
-            // Check SCIP is available
-            if (typeof self.SCIP === 'undefined') {
-              throw new Error('SCIP not found in global scope');
-            }
-            self.postMessage({ type: 'log', msg: 'SCIP object available: ' + Object.keys(self.SCIP).join(', ') });
-            // Wait for ready (like OpenCV's cv.ready)
-            self.postMessage({ type: 'log', msg: 'Waiting for SCIP.ready...' });
-            await self.SCIP.ready;
-            self.postMessage({ type: 'log', msg: 'SCIP initialized!' });
-            // Solve a problem
-            self.postMessage({ type: 'log', msg: 'Solving LP problem...' });
-            const result = await self.SCIP.solve(\`
-              Minimize
-                obj: 2 x + 3 y
-              Subject To
-                c1: x + y >= 4
-                c2: 2 x + y >= 5
-              Bounds
-                x >= 0
-                y >= 0
-              End
-            \`);
-            self.postMessage({ type: 'success', result });
-          } catch (error) {
-            self.postMessage({ type: 'error', msg: error.message, stack: error.stack });
-          }
-        })();
-      `;
-      const blob = new Blob([workerCode], { type: 'application/javascript' });
-      const worker = new Worker(URL.createObjectURL(blob));
-      worker.onmessage = (e) => {
-        const data = e.data;
-        if (data.type === 'log') {
-          log(data.msg);
-        } else if (data.type === 'success') {
-          log('<span class="success">SUCCESS!</span>');
-          log('Status: ' + data.result.status);
-          log('Objective: ' + data.result.objective);
-          log('Variables: ' + JSON.stringify(data.result.variables));
-          log('</pre>');
-          worker.terminate();
-        } else if (data.type === 'error') {
-          log('<span class="error">ERROR: ' + data.msg + '</span>');
-          if (data.stack) log(data.stack);
-          log('</pre>');
-          worker.terminate();
-        }
-      };
-      worker.onerror = (e) => {
-        log('<span class="error">Worker error: ' + e.message + '</span></pre>');
-      };
-    }
-  </script>
-</body>
-</html>