@logic-pad/core 0.4.6 → 0.6.0

package/dist/data/solver/universal/universalWorker.js

@@ -0,0 +1,119 @@
+import { Color, State } from '../../primitives.js';
+import { Serializer } from '../../serializer/allSerializers.js';
+import { instance as undercluedInstance } from '../../rules/undercluedRule.js';
+import { array } from '../../dataHelper.js';
+import validateGrid from '../../validate.js';
+function gridToRawTiles(grid) {
+    return array(grid.width, grid.height, (x, y) => grid.getTile(x, y).color);
+}
+function rawTilesToGrid(rawTiles, grid) {
+    return grid.fastCopyWith({
+        tiles: array(grid.width, grid.height, (x, y) => grid.getTile(x, y).withColor(rawTiles[y][x])),
+    });
+}
+function getNextTile(grid, rawTiles) {
+    for (let y = 0; y < grid.height; y++) {
+        for (let x = 0; x < grid.width; x++) {
+            const tile = grid.getTile(x, y);
+            if (!tile.exists || tile.fixed)
+                continue;
+            if (rawTiles[y][x] === Color.Gray)
+                return [{ x, y }, Color.Dark];
+        }
+    }
+    return undefined;
+}
+function backtrack(grid, rawTiles, submitSolution) {
+    // Find the best empty cell to guess
+    const target = getNextTile(grid, rawTiles);
+    // Found a solution
+    if (!target)
+        return !submitSolution(rawTiles);
+    const [pos, color] = target;
+    const positions = grid.connections.getConnectedTiles(pos);
+    for (let i = 0; i <= 1; i++) {
+        const tile = i === 0 ? color : color === Color.Dark ? Color.Light : Color.Dark;
+        positions.forEach(({ x, y }) => (rawTiles[y][x] = tile));
+        const newGrid = rawTilesToGrid(rawTiles, grid);
+        const isValid = validateGrid(newGrid, null);
+        if (isValid.final !== State.Error &&
+            backtrack(newGrid, rawTiles, submitSolution))
+            return true;
+    }
+    positions.forEach(({ x, y }) => (rawTiles[y][x] = Color.Gray));
+    return false;
+}
+function solveNormal(input, submitSolution) {
+    // Call backtrack
+    backtrack(input, gridToRawTiles(input), rawTiles => submitSolution(rawTiles ? rawTilesToGrid(rawTiles, input) : null));
+}
+function solveUnderclued(input) {
+    let grid = input;
+    const possibles = array(grid.width, grid.height, () => ({
+        dark: false,
+        light: false,
+    }));
+    function search(x, y, tile, color) {
+        const newGrid = grid.fastCopyWith({
+            tiles: grid.setTile(x, y, tile.withColor(color)),
+        });
+        // Solve
+        let solution;
+        solveNormal(newGrid, sol => {
+            solution = sol;
+            return false;
+        });
+        if (!solution)
+            return false;
+        // Update the new possible states
+        solution.forEach((solTile, solX, solY) => {
+            if (solTile.color === Color.Dark) {
+                possibles[solY][solX].dark = true;
+            }
+            else {
+                possibles[solY][solX].light = true;
+            }
+        });
+        return true;
+    }
+    for (let y = 0; y < grid.height; y++) {
+        for (let x = 0; x < grid.width; x++) {
+            const tile = grid.getTile(x, y);
+            if (!tile.exists || tile.color !== Color.Gray)
+                continue;
+            // We can skip this solve if it is proved to be solvable
+            const darkPossible = possibles[y][x].dark || search(x, y, tile, Color.Dark);
+            const lightPossible = possibles[y][x].light || search(x, y, tile, Color.Light);
+            // No solution
+            if (!darkPossible && !lightPossible)
+                return null;
+            if (darkPossible && !lightPossible)
+                grid = grid.fastCopyWith({
+                    tiles: grid.setTile(x, y, tile.withColor(Color.Dark)),
+                });
+            if (!darkPossible && lightPossible)
+                grid = grid.fastCopyWith({
+                    tiles: grid.setTile(x, y, tile.withColor(Color.Light)),
+                });
+        }
+    }
+    return grid;
+}
+function solve(grid, submitSolution) {
+    if (grid.findRule(rule => rule.id === undercluedInstance.id)) {
+        submitSolution(solveUnderclued(grid));
+    }
+    else {
+        solveNormal(grid, submitSolution);
+    }
+}
+onmessage = e => {
+    const grid = Serializer.parseGrid(e.data);
+    let count = 0;
+    solve(grid, solution => {
+        postMessage(solution ? Serializer.stringifyGrid(solution) : null);
+        count += 1;
+        return count < 2;
+    });
+    postMessage(null);
+};

package/dist/data/symbols/customIconSymbol.js

@@ -49,7 +49,7 @@ Object.defineProperty(CustomIconSymbol, "EXAMPLE_GRID", {
     enumerable: true,
     configurable: true,
     writable: true,
-    value: Object.freeze(new GridData(5, 4))
+    value: Object.freeze(GridData.create(5, 4))
 });
 Object.defineProperty(CustomIconSymbol, "CONFIGS", {
     enumerable: true,
@@ -102,4 +102,4 @@ Object.defineProperty(CustomIconSymbol, "CONFIGS", {
     ])
 });
 export default CustomIconSymbol;
-export const instance = new CustomIconSymbol('A *custom* icon symbol', new GridData(5, 4), 0, 0, 'MdQuestionMark');
+export const instance = new CustomIconSymbol('A *custom* icon symbol', GridData.create(5, 4), 0, 0, 'MdQuestionMark');

package/dist/data/symbols/customTextSymbol.js

@@ -49,7 +49,7 @@ Object.defineProperty(CustomTextSymbol, "EXAMPLE_GRID", {
     enumerable: true,
     configurable: true,
     writable: true,
-    value: Object.freeze(new GridData(5, 4))
+    value: Object.freeze(GridData.create(5, 4))
 });
 Object.defineProperty(CustomTextSymbol, "CONFIGS", {
     enumerable: true,
@@ -103,4 +103,4 @@ Object.defineProperty(CustomTextSymbol, "CONFIGS", {
     ])
 });
 export default CustomTextSymbol;
-export const instance = new CustomTextSymbol('A *custom* text symbol', new GridData(5, 4), 0, 0, 'X');
+export const instance = new CustomTextSymbol('A *custom* text symbol', GridData.create(5, 4), 0, 0, 'X');

package/dist/data/validate.d.ts

@@ -1,5 +1,5 @@
 import GridData from './grid.js';
 import { GridState, RuleState, State } from './primitives.js';
-export declare function aggregateState(rules: RuleState[], grid: GridData, symbols: Map<string, State[]>): State;
+export declare function aggregateState(rules: readonly RuleState[], grid: GridData, symbols: ReadonlyMap<string, State[]>): State.Error | State.Satisfied | State.Incomplete;
 export declare function applyFinalOverrides(grid: GridData, solution: GridData | null, state: GridState): GridState;
 export default function validateGrid(grid: GridData, solution: GridData | null): GridState;

package/dist/data/validate.js

@@ -72,18 +72,18 @@ export default function validateGrid(grid, solution) {
             return;
         if (states.some(s => s === State.Error))
             ruleStates[i] = { state: State.Error, positions: [] };
-        else if (states.length > 0 && states.every(s => s === State.Satisfied))
+        else if (states.length > 0 && states.every(s => State.isSatisfied(s)))
             ruleStates[i] = { state: State.Satisfied };
     });
     let final = aggregateState(ruleStates, grid, symbolStates);
     // in addition to satisfying all rules and symbols, a solution must also fill the grid completely
-    if (!requireSolution && final === State.Satisfied) {
+    if (!requireSolution && State.isSatisfied(final)) {
         final = grid.forEach(tile => tile.exists && tile.color === Color.Gray ? true : undefined)
             ? State.Incomplete
             : State.Satisfied;
     }
     // return early if there is no need to validate against a solution
-    if (final === State.Satisfied ||
+    if (State.isSatisfied(final) ||
         !requireSolution ||
         !solution ||
         solution.width !== grid.width ||

package/dist/index.d.ts

@@ -22,6 +22,7 @@ import ConnectAllRule from './data/rules/connectAllRule.js';
 import CustomRule from './data/rules/customRule.js';
 import ForesightRule from './data/rules/foresightRule.js';
 import { allRules } from './data/rules/index.js';
+import LyingSymbolRule from './data/rules/lyingSymbolRule.js';
 import { ControlLine, Row } from './data/rules/musicControlLine.js';
 import MusicGridRule from './data/rules/musicGridRule.js';
 import MysteryRule from './data/rules/mysteryRule.js';
@@ -63,8 +64,9 @@ import LotusBTModule from './data/solver/backtrack/symbols/lotus.js';
 import MinesweeperBTModule from './data/solver/backtrack/symbols/minesweeper.js';
 import MyopiaBTModule from './data/solver/backtrack/symbols/myopia.js';
 import ViewpointBTModule from './data/solver/backtrack/symbols/viewpoint.js';
+import EventIteratingSolver from './data/solver/eventIteratingSolver.js';
 import Solver from './data/solver/solver.js';
-import UndercluedSolver from './data/solver/underclued/undercluedSolver.js';
+import UniversalSolver from './data/solver/universal/universalSolver.js';
 import AreaNumberModule from './data/solver/z3/modules/areaNumberModule.js';
 import CellCountModule from './data/solver/z3/modules/cellCountModule.js';
 import ConnectAllModule from './data/solver/z3/modules/connectAllModule.js';
@@ -98,4 +100,4 @@ import ViewpointSymbol from './data/symbols/viewpointSymbol.js';
 import TileData from './data/tile.js';
 import TileConnections from './data/tileConnections.js';
 import validateGrid, { aggregateState, applyFinalOverrides } from './data/validate.js';
-export { ConfigType, configEquals, Configurable, CachedAccess, allEqual, array, directionToRotation, escape, isSameEdge, maxBy, minBy, move, orientationToRotation, resize, unescape, isEventHandler, handlesFinalValidation, handlesGridChange, handlesGridResize, handlesSetGrid, invokeSetGrid, handlesSymbolDisplay, handlesSymbolValidation, GridData, NEIGHBOR_OFFSETS, GridConnections, GridZones, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, Direction, MajorRule, Mode, ORIENTATIONS, Orientation, State, directionToggle, orientationToggle, MetadataSchema, PuzzleSchema, BanPatternRule, CellCountPerZoneRule, CellCountRule, CompletePatternRule, ConnectAllRule, CustomRule, ForesightRule, allRules, ControlLine, Row, MusicGridRule, MysteryRule, OffByXRule, PerfectionRule, RegionAreaRule, RegionShapeRule, Rule, SameShapeRule, SymbolsPerRegionRule, UndercluedRule, UniqueShapeRule, Serializer, Compressor, CompressorBase, DeflateCompressor, GzipCompressor, StreamCompressor, SerializerBase, SerializerV0, getShapeVariants, normalizeShape, positionsToShape, shapeEquals, tilesToShape, allSolvers, BacktrackSolver, BTModule, BTGridData, BTTile, IntArray2D, colorToBTTile, createOneTileResult, getOppositeColor, BanPatternBTModule, CellCountBTModule, ConnectAllBTModule, RegionAreaBTModule, RegionShapeBTModule, SameShapeBTModule, SymbolsPerRegionBTModule, UniqueShapeBTModule, AreaNumberBTModule, DartBTModule, DirectionLinkerBTModule, GalaxyBTModule, LetterBTModule, LotusBTModule, MinesweeperBTModule, MyopiaBTModule, ViewpointBTModule, Solver, UndercluedSolver, AreaNumberModule, CellCountModule, ConnectAllModule, DartModule, allZ3Modules, LetterModule, MyopiaModule, RegionAreaModule, ViewpointModule, Z3Module, convertDirection, Z3Solver, Z3SolverContext, AreaNumberSymbol, CustomIconSymbol, CustomSymbol, CustomTextSymbol, DartSymbol, DirectionLinkerSymbol, GalaxySymbol, HiddenSymbol, allSymbols, LetterSymbol, LotusSymbol, MinesweeperSymbol, MultiEntrySymbol, MyopiaSymbol, NumberSymbol, Symbol, ViewpointSymbol, TileData, TileConnections, validateGrid, aggregateState, applyFinalOverrides, };
+export { ConfigType, configEquals, Configurable, CachedAccess, allEqual, array, directionToRotation, escape, isSameEdge, maxBy, minBy, move, orientationToRotation, resize, unescape, isEventHandler, handlesFinalValidation, handlesGridChange, handlesGridResize, handlesSetGrid, invokeSetGrid, handlesSymbolDisplay, handlesSymbolValidation, GridData, NEIGHBOR_OFFSETS, GridConnections, GridZones, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, Direction, MajorRule, Mode, ORIENTATIONS, Orientation, State, directionToggle, orientationToggle, MetadataSchema, PuzzleSchema, BanPatternRule, CellCountPerZoneRule, CellCountRule, CompletePatternRule, ConnectAllRule, CustomRule, ForesightRule, allRules, LyingSymbolRule, ControlLine, Row, MusicGridRule, MysteryRule, OffByXRule, PerfectionRule, RegionAreaRule, RegionShapeRule, Rule, SameShapeRule, SymbolsPerRegionRule, UndercluedRule, UniqueShapeRule, Serializer, Compressor, CompressorBase, DeflateCompressor, GzipCompressor, StreamCompressor, SerializerBase, SerializerV0, getShapeVariants, normalizeShape, positionsToShape, shapeEquals, tilesToShape, allSolvers, BacktrackSolver, BTModule, BTGridData, BTTile, IntArray2D, colorToBTTile, createOneTileResult, getOppositeColor, BanPatternBTModule, CellCountBTModule, ConnectAllBTModule, RegionAreaBTModule, RegionShapeBTModule, SameShapeBTModule, SymbolsPerRegionBTModule, UniqueShapeBTModule, AreaNumberBTModule, DartBTModule, DirectionLinkerBTModule, GalaxyBTModule, LetterBTModule, LotusBTModule, MinesweeperBTModule, MyopiaBTModule, ViewpointBTModule, EventIteratingSolver, Solver, UniversalSolver, AreaNumberModule, CellCountModule, ConnectAllModule, DartModule, allZ3Modules, LetterModule, MyopiaModule, RegionAreaModule, ViewpointModule, Z3Module, convertDirection, Z3Solver, Z3SolverContext, AreaNumberSymbol, CustomIconSymbol, CustomSymbol, CustomTextSymbol, DartSymbol, DirectionLinkerSymbol, GalaxySymbol, HiddenSymbol, allSymbols, LetterSymbol, LotusSymbol, MinesweeperSymbol, MultiEntrySymbol, MyopiaSymbol, NumberSymbol, Symbol, ViewpointSymbol, TileData, TileConnections, validateGrid, aggregateState, applyFinalOverrides, };

package/dist/index.js

@@ -25,6 +25,7 @@ import ConnectAllRule from './data/rules/connectAllRule.js';
 import CustomRule from './data/rules/customRule.js';
 import ForesightRule from './data/rules/foresightRule.js';
 import { allRules } from './data/rules/index.js';
+import LyingSymbolRule from './data/rules/lyingSymbolRule.js';
 import { ControlLine, Row } from './data/rules/musicControlLine.js';
 import MusicGridRule from './data/rules/musicGridRule.js';
 import MysteryRule from './data/rules/mysteryRule.js';
@@ -66,8 +67,9 @@ import LotusBTModule from './data/solver/backtrack/symbols/lotus.js';
 import MinesweeperBTModule from './data/solver/backtrack/symbols/minesweeper.js';
 import MyopiaBTModule from './data/solver/backtrack/symbols/myopia.js';
 import ViewpointBTModule from './data/solver/backtrack/symbols/viewpoint.js';
+import EventIteratingSolver from './data/solver/eventIteratingSolver.js';
 import Solver from './data/solver/solver.js';
-import UndercluedSolver from './data/solver/underclued/undercluedSolver.js';
+import UniversalSolver from './data/solver/universal/universalSolver.js';
 import AreaNumberModule from './data/solver/z3/modules/areaNumberModule.js';
 import CellCountModule from './data/solver/z3/modules/cellCountModule.js';
 import ConnectAllModule from './data/solver/z3/modules/connectAllModule.js';
@@ -101,4 +103,4 @@ import ViewpointSymbol from './data/symbols/viewpointSymbol.js';
 import TileData from './data/tile.js';
 import TileConnections from './data/tileConnections.js';
 import validateGrid, { aggregateState, applyFinalOverrides } from './data/validate.js';
-export { ConfigType, configEquals, Configurable, CachedAccess, allEqual, array, directionToRotation, escape, isSameEdge, maxBy, minBy, move, orientationToRotation, resize, unescape, isEventHandler, handlesFinalValidation, handlesGridChange, handlesGridResize, handlesSetGrid, invokeSetGrid, handlesSymbolDisplay, handlesSymbolValidation, GridData, NEIGHBOR_OFFSETS, GridConnections, GridZones, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, Direction, MajorRule, Mode, ORIENTATIONS, Orientation, State, directionToggle, orientationToggle, MetadataSchema, PuzzleSchema, BanPatternRule, CellCountPerZoneRule, CellCountRule, CompletePatternRule, ConnectAllRule, CustomRule, ForesightRule, allRules, ControlLine, Row, MusicGridRule, MysteryRule, OffByXRule, PerfectionRule, RegionAreaRule, RegionShapeRule, Rule, SameShapeRule, SymbolsPerRegionRule, UndercluedRule, UniqueShapeRule, Serializer, Compressor, CompressorBase, DeflateCompressor, GzipCompressor, StreamCompressor, SerializerBase, SerializerV0, getShapeVariants, normalizeShape, positionsToShape, shapeEquals, tilesToShape, allSolvers, BacktrackSolver, BTModule, BTGridData, BTTile, IntArray2D, colorToBTTile, createOneTileResult, getOppositeColor, BanPatternBTModule, CellCountBTModule, ConnectAllBTModule, RegionAreaBTModule, RegionShapeBTModule, SameShapeBTModule, SymbolsPerRegionBTModule, UniqueShapeBTModule, AreaNumberBTModule, DartBTModule, DirectionLinkerBTModule, GalaxyBTModule, LetterBTModule, LotusBTModule, MinesweeperBTModule, MyopiaBTModule, ViewpointBTModule, Solver, UndercluedSolver, AreaNumberModule, CellCountModule, ConnectAllModule, DartModule, allZ3Modules, LetterModule, MyopiaModule, RegionAreaModule, ViewpointModule, Z3Module, convertDirection, Z3Solver, Z3SolverContext, AreaNumberSymbol, CustomIconSymbol, CustomSymbol, CustomTextSymbol, DartSymbol, DirectionLinkerSymbol, GalaxySymbol, HiddenSymbol, allSymbols, LetterSymbol, LotusSymbol, MinesweeperSymbol, MultiEntrySymbol, MyopiaSymbol, NumberSymbol, Symbol, ViewpointSymbol, TileData, TileConnections, validateGrid, aggregateState, applyFinalOverrides, };
+export { ConfigType, configEquals, Configurable, CachedAccess, allEqual, array, directionToRotation, escape, isSameEdge, maxBy, minBy, move, orientationToRotation, resize, unescape, isEventHandler, handlesFinalValidation, handlesGridChange, handlesGridResize, handlesSetGrid, invokeSetGrid, handlesSymbolDisplay, handlesSymbolValidation, GridData, NEIGHBOR_OFFSETS, GridConnections, GridZones, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, Direction, MajorRule, Mode, ORIENTATIONS, Orientation, State, directionToggle, orientationToggle, MetadataSchema, PuzzleSchema, BanPatternRule, CellCountPerZoneRule, CellCountRule, CompletePatternRule, ConnectAllRule, CustomRule, ForesightRule, allRules, LyingSymbolRule, ControlLine, Row, MusicGridRule, MysteryRule, OffByXRule, PerfectionRule, RegionAreaRule, RegionShapeRule, Rule, SameShapeRule, SymbolsPerRegionRule, UndercluedRule, UniqueShapeRule, Serializer, Compressor, CompressorBase, DeflateCompressor, GzipCompressor, StreamCompressor, SerializerBase, SerializerV0, getShapeVariants, normalizeShape, positionsToShape, shapeEquals, tilesToShape, allSolvers, BacktrackSolver, BTModule, BTGridData, BTTile, IntArray2D, colorToBTTile, createOneTileResult, getOppositeColor, BanPatternBTModule, CellCountBTModule, ConnectAllBTModule, RegionAreaBTModule, RegionShapeBTModule, SameShapeBTModule, SymbolsPerRegionBTModule, UniqueShapeBTModule, AreaNumberBTModule, DartBTModule, DirectionLinkerBTModule, GalaxyBTModule, LetterBTModule, LotusBTModule, MinesweeperBTModule, MyopiaBTModule, ViewpointBTModule, EventIteratingSolver, Solver, UniversalSolver, AreaNumberModule, CellCountModule, ConnectAllModule, DartModule, allZ3Modules, LetterModule, MyopiaModule, RegionAreaModule, ViewpointModule, Z3Module, convertDirection, Z3Solver, Z3SolverContext, AreaNumberSymbol, CustomIconSymbol, CustomSymbol, CustomTextSymbol, DartSymbol, DirectionLinkerSymbol, GalaxySymbol, HiddenSymbol, allSymbols, LetterSymbol, LotusSymbol, MinesweeperSymbol, MultiEntrySymbol, MyopiaSymbol, NumberSymbol, Symbol, ViewpointSymbol, TileData, TileConnections, validateGrid, aggregateState, applyFinalOverrides, };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@logic-pad/core",
-  "version": "0.4.6",
+  "version": "0.6.0",
   "type": "module",
   "files": [
     "dist",

package/dist/data/solver/underclued/undercluedSolver.d.ts

@@ -1,8 +0,0 @@
-import GridData from '../../grid.js';
-import Solver from '../solver.js';
-export default class UndercluedSolver extends Solver {
-    readonly id = "underclued";
-    readonly description = "Solves every puzzle as if it were underclued. Supports all rules and symbols and is decently fast for small puzzles. Very slow for large puzzles.";
-    solve(grid: GridData): AsyncGenerator<GridData | null>;
-    isInstructionSupported(instructionId: string): boolean;
-}

package/dist/data/solver/underclued/undercluedSolver.js

@@ -1,55 +0,0 @@
-import { Color } from '../../primitives.js';
-import { instance as undercluedInstance } from '../../rules/undercluedRule.js';
-import { Serializer } from '../../serializer/allSerializers.js';
-import Solver from '../solver.js';
-export default class UndercluedSolver extends Solver {
-    constructor() {
-        super(...arguments);
-        Object.defineProperty(this, "id", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: 'underclued'
-        });
-        Object.defineProperty(this, "description", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: 'Solves every puzzle as if it were underclued. Supports all rules and symbols and is decently fast for small puzzles. Very slow for large puzzles.'
-        });
-    }
-    async *solve(grid) {
-        const worker = new Worker(new URL('./undercluedWorker.js', import.meta.url), {
-            type: 'module',
-        });
-        try {
-            const solved = await new Promise(resolve => {
-                worker.addEventListener('message', e => {
-                    const solution = Serializer.parseGrid(e.data);
-                    // console.timeEnd('Solve time');
-                    if (solution.resetTiles().equals(solution))
-                        resolve(null);
-                    else
-                        resolve(solution);
-                });
-                worker.postMessage(Serializer.stringifyGrid(grid));
-                // console.time('Solve time');
-            });
-            yield solved;
-            if (solved) {
-                if (solved.getTileCount(true, undefined, Color.Gray) === 0) {
-                    yield null; // the grid is completely filled, which means the solution is unique
-                }
-            }
-        }
-        finally {
-            worker.terminate();
-        }
-    }
-    isInstructionSupported(instructionId) {
-        if (super.isInstructionSupported(instructionId)) {
-            return true;
-        }
-        return instructionId === undercluedInstance.id;
-    }
-}

package/dist/data/solver/underclued/undercluedWorker.d.ts

@@ -1,2 +0,0 @@
-declare const _default: null;
-export default _default;

package/dist/data/solver/underclued/undercluedWorker.js

@@ -1,135 +0,0 @@
-import { Color, State } from '../../primitives.js';
-import { Serializer } from '../../serializer/allSerializers.js';
-import validateGrid from '../../validate.js';
-function posToCoords(pos, width) {
-    if (pos === undefined) {
-        throw new Error('pos is undefined');
-    }
-    return [pos % width, Math.floor(pos / width)];
-}
-function coordsToPos(a, width) {
-    return a[0] + a[1] * width;
-}
-function getValidGrid(grid, assumptions, canAssump) {
-    while (true) {
-        // Get assumption
-        const newAssump = canAssump.findIndex((a, i) => a && !assumptions.includes(i));
-        if (newAssump === -1) {
-            return [grid, assumptions, true];
-        }
-        // Set assumption's color to dark
-        const coords = posToCoords(newAssump, grid.width);
-        grid = grid.setTile(coords[0], coords[1], tile => tile.withColor(Color.Dark));
-        assumptions.push(newAssump);
-        for (const a of grid.connections.getConnectedTiles({
-            x: coords[0],
-            y: coords[1],
-        })) {
-            canAssump[coordsToPos([a.x, a.y], grid.width)] =
-                a.x === coords[0] && a.y === coords[1];
-        }
-        const state = validateGrid(grid, null);
-        // If the grid is invalid, try to backtrack to a right assumption
-        if (state.final === State.Error) {
-            // eslint-disable-next-line @typescript-eslint/no-use-before-define
-            [grid, assumptions] = tryToBacktrack(grid, assumptions);
-            if (assumptions.length === 0) {
-                return [grid, assumptions, false];
-            }
-        }
-    }
-}
-function tryToBacktrack(grid, assumptions) {
-    while (assumptions.length > 0) {
-        const coords = posToCoords(assumptions[assumptions.length - 1], grid.width);
-        if (grid.getTile(coords[0], coords[1]).color === Color.Light) {
-            grid = grid.setTile(coords[0], coords[1], tile => tile.withColor(Color.Gray));
-            assumptions.pop();
-        }
-        else {
-            grid = grid.setTile(coords[0], coords[1], tile => tile.withColor(Color.Light));
-            const state = validateGrid(grid, null);
-            if (state.final === State.Error) {
-                grid = grid.setTile(coords[0], coords[1], tile => tile.withColor(Color.Gray));
-                assumptions.pop();
-            }
-            else {
-                return [grid, assumptions];
-            }
-        }
-    }
-    return [grid, assumptions];
-}
-function computeSolution(initialGrid) {
-    const canAssump = initialGrid.tiles
-        .map(row => row.map(t => t.exists && !t.fixed))
-        .flat();
-    let lastValidGrid = [];
-    let assumptions = [];
-    let currentGrid = initialGrid.copyWith({});
-    let anyNewGrid;
-    while (assumptions.length > 0 || lastValidGrid.length === 0) {
-        [currentGrid, assumptions, anyNewGrid] = getValidGrid(currentGrid, assumptions, canAssump);
-        // console.log(
-        //   currentGrid.tiles
-        //     .map(row =>
-        //       row
-        //         .map(t => {
-        //           const color = t.color === Color.Light ? 'w' : 'b';
-        //           if (t.color === Color.Gray) return 'n';
-        //           if (!t.exists) return '.';
-        //           return t.fixed ? color.toUpperCase() : color;
-        //         })
-        //         .join('')
-        //     )
-        //     .join('\n')
-        // );
-        if (!anyNewGrid) {
-            break;
-        }
-        const newLastValidGrid = currentGrid.tiles
-            .map(row => row.map(t => t.color))
-            .flat();
-        if (lastValidGrid.length !== 0) {
-            const diff = newLastValidGrid.map((color, i) => color === lastValidGrid[i]);
-            diff.forEach((same, i) => {
-                if (!same) {
-                    newLastValidGrid[i] = Color.Gray;
-                }
-            });
-        }
-        [currentGrid, assumptions] = tryToBacktrack(currentGrid, assumptions);
-        lastValidGrid = newLastValidGrid;
-    }
-    // Create a new grid with lastValidGrid
-    let solutionGrid = initialGrid.copyWith({});
-    lastValidGrid.forEach((color, i) => {
-        const coords = posToCoords(i, solutionGrid.width);
-        solutionGrid = solutionGrid.setTile(coords[0], coords[1], tile => tile.withColor(color));
-    });
-    // console.log(
-    //   solutionGrid.tiles
-    //     .map(row =>
-    //       row
-    //         .map(t => {
-    //           const color = t.color === Color.Light ? 'w' : 'b';
-    //           if (t.color === Color.Gray) return 'n';
-    //           if (!t.exists) return '.';
-    //           return t.fixed ? color.toUpperCase() : color;
-    //         })
-    //         .join('')
-    //     )
-    //     .join('\n')
-    // );
-    return solutionGrid;
-}
-onmessage = e => {
-    if (!e.data || typeof e.data !== 'string')
-        return;
-    const grid = Serializer.parseGrid(e.data);
-    const solved = computeSolution(grid);
-    postMessage(Serializer.stringifyGrid(solved));
-};
-// make typescript happy
-// eslint-disable-next-line import/no-anonymous-default-export
-export default null;