@logic-pad/core 0.5.0 → 0.6.0

package/assets/logic-core.global.d.ts

@@ -646,6 +646,7 @@ declare global {
     readonly underclued: CachedAccess<UndercluedRule | undefined>;
     /**
      * Create a new grid with tiles, connections, symbols and rules.
+     *
      * @param width The width of the grid.
      * @param height The height of the grid.
      * @param tiles The tiles of the grid.
@@ -663,6 +664,38 @@ declare global {
       symbols?: ReadonlyMap<string, readonly Symbol$1[]>,
       rules?: readonly Rule[]
     );
+    /**
+     * Create a new GridData object from a string array.
+     *
+     * - Use `b` for dark cells, `w` for light cells, and `n` for gray cells.
+     * - Capitalize the letter to make the tile fixed.
+     * - Use `.` to represent empty space.
+     *
+     * @param array - The string array to create the grid from.
+     * @returns The created grid.
+     */
+    static create(array: string[]): GridData;
+    /**
+     * Create a new grid with tiles, connections, symbols and rules. Sanitize the provided list of symbols and rules,
+     * and trigger grid change events.
+     *
+     * @param width The width of the grid.
+     * @param height The height of the grid.
+     * @param tiles The tiles of the grid.
+     * @param connections The connections of the grid, which determines which tiles are merged.
+     * @param zones The zones of the grid.
+     * @param symbols The symbols in the grid.
+     * @param rules The rules of the grid.
+     */
+    static create(
+      width: number,
+      height: number,
+      tiles?: readonly (readonly TileData[])[],
+      connections?: GridConnections,
+      zones?: GridZones,
+      symbols?: ReadonlyMap<string, readonly Symbol$1[]>,
+      rules?: readonly Rule[]
+    ): GridData;
     /**
      * Copy the current grid while modifying the provided properties.
      * @param param0 The properties to modify.
@@ -685,6 +718,30 @@ declare global {
       symbols?: ReadonlyMap<string, readonly Symbol$1[]>;
       rules?: readonly Rule[];
     }): GridData;
+    /**
+     * Copy the current grid while modifying the provided properties.
+     * Skip sanitization and event triggering for performance.
+     *
+     * @param param0 The properties to modify.
+     * @returns The new grid with the modified properties.
+     */
+    fastCopyWith({
+      width,
+      height,
+      tiles,
+      connections,
+      zones,
+      symbols,
+      rules,
+    }: {
+      width?: number;
+      height?: number;
+      tiles?: readonly (readonly TileData[])[];
+      connections?: GridConnections;
+      zones?: GridZones;
+      symbols?: ReadonlyMap<string, readonly Symbol$1[]>;
+      rules?: readonly Rule[];
+    }): GridData;
     isPositionValid(x: number, y: number): boolean;
     /**
      * Safely get the tile at the given position.
@@ -695,19 +752,19 @@ declare global {
     getTile(x: number, y: number): TileData;
     /**
      * Safely set the tile at the given position.
-     * If the position is invalid, the grid is returned unchanged.
+     * If the position is invalid, the tile array is returned unchanged.
      * If the tile is merged with other tiles, the colors of all connected tiles are changed.
      *
      * @param x The x-coordinate of the tile.
      * @param y The y-coordinate of the tile.
      * @param tile The new tile to set.
-     * @returns The new grid with the tile set at the given position.
+     * @returns The new tile array with updated tiles.
      */
     setTile(
       x: number,
       y: number,
       tile: TileData | ((tile: TileData) => TileData)
-    ): GridData;
+    ): readonly (readonly TileData[])[];
     /**
      * Replace or modify all tiles in the grid.
      *
@@ -860,17 +917,6 @@ declare global {
      * @returns The created tile array.
      */
     static createTiles(array: string[]): TileData[][];
-    /**
-     * Create a new GridData object from a string array.
-     *
-     * - Use `b` for dark cells, `w` for light cells, and `n` for gray cells.
-     * - Capitalize the letter to make the tile fixed.
-     * - Use `.` to represent empty space.
-     *
-     * @param array - The string array to create the grid from.
-     * @returns The created grid.
-     */
-    static create(array: string[]): GridData;
     /**
      * Find a tile in the grid that satisfies the predicate.
      *
@@ -1539,7 +1585,7 @@ declare global {
     private static readonly CONFIGS;
     private static readonly SEARCH_VARIANTS;
     /**
-     * **&lt;count&gt; symbols are lying and can be ignored**
+     * **&lt;count&gt; symbols are lying and are incorrect**
      *
      * @param count Number of lying symbols
      */
@@ -1911,6 +1957,9 @@ declare global {
     stringifyPuzzle(puzzle: Puzzle): string;
     parsePuzzle(input: string): Puzzle;
   }
+  export interface CancelRef {
+    cancel?: () => void;
+  }
   /**
    * Base class that all solvers must extend.
    */
@@ -1940,8 +1989,13 @@ declare global {
      *
      * @param grid The grid to solve. The provided grid is guaranteed to be supported by the solver. Some tiles in the
      * grid may already be filled by the user. It is up to the solver to decide whether to respect these tiles or not.
+     * @param cancelRef A reference to a function that can be called to cancel the solver. If cancellation is supported,
+     * the solver can assign a function to `cancelRef.cancel` that will stop the solver when called.
      */
-    abstract solve(grid: GridData): AsyncGenerator<GridData | null>;
+    abstract solve(
+      grid: GridData,
+      cancelRef: CancelRef
+    ): AsyncGenerator<GridData | null>;
     /**
      * Check if the solver supports the current browser environment. This method is called once when the user first clicks
      * the "Solve" button, and the result is cached for the duration of the editor session.
@@ -1972,12 +2026,19 @@ declare global {
     isGridSupported(grid: GridData): boolean;
   }
   export declare const allSolvers: Map<string, Solver>;
-  export declare class BacktrackSolver extends Solver {
+  export declare abstract class EventIteratingSolver extends Solver {
+    protected abstract createWorker(): Worker;
+    solve(
+      grid: GridData,
+      cancelRef: CancelRef
+    ): AsyncGenerator<GridData | null>;
+  }
+  export declare class BacktrackSolver extends EventIteratingSolver {
     private static readonly supportedInstrs;
     readonly id = 'backtrack';
     readonly description =
       'Solves puzzles using backtracking with optimizations (blazingly fast). Support most rules and symbols (including underclued).';
-    solve(grid: GridData): AsyncGenerator<GridData | null>;
+    protected createWorker(): Worker;
     isInstructionSupported(instructionId: string): boolean;
   }
   export declare enum BTTile {
@@ -2448,11 +2509,11 @@ declare global {
     constructor(instr: ViewpointSymbol);
     checkGlobal(grid: BTGridData): CheckResult | false;
   }
-  export declare class UndercluedSolver extends Solver {
-    readonly id = 'underclued';
+  export declare class UniversalSolver extends EventIteratingSolver {
+    readonly id = 'universal';
     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>;
+      'A backtracking solver that supports all rules and symbols (including underclued) but is less optimized.';
+    protected createWorker(): Worker;
     isInstructionSupported(instructionId: string): boolean;
   }
   export declare class Z3SolverContext<

package/dist/data/grid.d.ts

@@ -22,6 +22,7 @@ export default class GridData {
     readonly underclued: CachedAccess<UndercluedRule | undefined>;
     /**
      * Create a new grid with tiles, connections, symbols and rules.
+     *
      * @param width The width of the grid.
      * @param height The height of the grid.
      * @param tiles The tiles of the grid.
@@ -31,6 +32,30 @@ export default class GridData {
      * @param rules The rules of the grid.
      */
     constructor(width: number, height: number, tiles?: readonly (readonly TileData[])[], connections?: GridConnections, zones?: GridZones, symbols?: ReadonlyMap<string, readonly Symbol[]>, rules?: readonly Rule[]);
+    /**
+     * Create a new GridData object from a string array.
+     *
+     * - Use `b` for dark cells, `w` for light cells, and `n` for gray cells.
+     * - Capitalize the letter to make the tile fixed.
+     * - Use `.` to represent empty space.
+     *
+     * @param array - The string array to create the grid from.
+     * @returns The created grid.
+     */
+    static create(array: string[]): GridData;
+    /**
+     * Create a new grid with tiles, connections, symbols and rules. Sanitize the provided list of symbols and rules,
+     * and trigger grid change events.
+     *
+     * @param width The width of the grid.
+     * @param height The height of the grid.
+     * @param tiles The tiles of the grid.
+     * @param connections The connections of the grid, which determines which tiles are merged.
+     * @param zones The zones of the grid.
+     * @param symbols The symbols in the grid.
+     * @param rules The rules of the grid.
+     */
+    static create(width: number, height: number, tiles?: readonly (readonly TileData[])[], connections?: GridConnections, zones?: GridZones, symbols?: ReadonlyMap<string, readonly Symbol[]>, rules?: readonly Rule[]): GridData;
     /**
      * Copy the current grid while modifying the provided properties.
      * @param param0 The properties to modify.
@@ -45,6 +70,22 @@ export default class GridData {
         symbols?: ReadonlyMap<string, readonly Symbol[]>;
         rules?: readonly Rule[];
     }): GridData;
+    /**
+     * Copy the current grid while modifying the provided properties.
+     * Skip sanitization and event triggering for performance.
+     *
+     * @param param0 The properties to modify.
+     * @returns The new grid with the modified properties.
+     */
+    fastCopyWith({ width, height, tiles, connections, zones, symbols, rules, }: {
+        width?: number;
+        height?: number;
+        tiles?: readonly (readonly TileData[])[];
+        connections?: GridConnections;
+        zones?: GridZones;
+        symbols?: ReadonlyMap<string, readonly Symbol[]>;
+        rules?: readonly Rule[];
+    }): GridData;
     isPositionValid(x: number, y: number): boolean;
     /**
      * Safely get the tile at the given position.
@@ -55,15 +96,15 @@ export default class GridData {
     getTile(x: number, y: number): TileData;
     /**
      * Safely set the tile at the given position.
-     * If the position is invalid, the grid is returned unchanged.
+     * If the position is invalid, the tile array is returned unchanged.
      * If the tile is merged with other tiles, the colors of all connected tiles are changed.
      *
      * @param x The x-coordinate of the tile.
      * @param y The y-coordinate of the tile.
      * @param tile The new tile to set.
-     * @returns The new grid with the tile set at the given position.
+     * @returns The new tile array with updated tiles.
      */
-    setTile(x: number, y: number, tile: TileData | ((tile: TileData) => TileData)): GridData;
+    setTile(x: number, y: number, tile: TileData | ((tile: TileData) => TileData)): readonly (readonly TileData[])[];
     /**
      * Replace or modify all tiles in the grid.
      *
@@ -199,17 +240,6 @@ export default class GridData {
      * @returns The created tile array.
      */
     static createTiles(array: string[]): TileData[][];
-    /**
-     * Create a new GridData object from a string array.
-     *
-     * - Use `b` for dark cells, `w` for light cells, and `n` for gray cells.
-     * - Capitalize the letter to make the tile fixed.
-     * - Use `.` to represent empty space.
-     *
-     * @param array - The string array to create the grid from.
-     * @returns The created grid.
-     */
-    static create(array: string[]): GridData;
     /**
      * Find a tile in the grid that satisfies the predicate.
      *

package/dist/data/grid.js

@@ -16,6 +16,7 @@ export default class GridData {
     /* eslint-enable @typescript-eslint/no-unsafe-enum-comparison */
     /**
      * Create a new grid with tiles, connections, symbols and rules.
+     *
      * @param width The width of the grid.
      * @param height The height of the grid.
      * @param tiles The tiles of the grid.
@@ -92,25 +93,35 @@ export default class GridData {
         this.tiles = tiles ?? array(width, height, () => TileData.empty());
         this.connections = connections ?? new GridConnections();
         this.zones = zones ?? new GridZones();
-        const newSymbols = symbols
-            ? GridData.deduplicateSymbols(symbols)
-            : new Map();
-        // do not deduplicate all rules because it makes for bad editor experience
-        const newRules = rules ? GridData.deduplicateSingletonRules(rules) : [];
-        this.symbols = newSymbols;
-        this.rules = newRules;
-        newSymbols.forEach(list => {
-            list.forEach((sym, i) => {
-                if (handlesGridChange(sym)) {
-                    list[i] = sym.onGridChange(this);
+        this.symbols = symbols ?? new Map();
+        this.rules = rules ?? [];
+    }
+    static create(arrayOrWidth, height, tiles, connections, zones, symbols, rules) {
+        if (typeof arrayOrWidth === 'number') {
+            const newSymbols = symbols
+                ? GridData.deduplicateSymbols(symbols)
+                : new Map();
+            // do not deduplicate all rules because it makes for bad editor experience
+            const newRules = rules ? GridData.deduplicateSingletonRules(rules) : [];
+            const newGrid = new GridData(arrayOrWidth, height, tiles, connections, zones, newSymbols, newRules);
+            newSymbols.forEach(list => {
+                list.forEach((sym, i) => {
+                    if (handlesGridChange(sym)) {
+                        list[i] = sym.onGridChange(newGrid);
+                    }
+                });
+            });
+            newRules.forEach((rule, i) => {
+                if (handlesGridChange(rule)) {
+                    newRules[i] = rule.onGridChange(newGrid);
                 }
             });
-        });
-        newRules.forEach((rule, i) => {
-            if (handlesGridChange(rule)) {
-                newRules[i] = rule.onGridChange(this);
-            }
-        });
+            return newGrid;
+        }
+        else {
+            const tiles = GridData.createTiles(arrayOrWidth);
+            return GridData.create(tiles[0]?.length ?? 0, tiles.length, tiles);
+        }
     }
     /**
      * Copy the current grid while modifying the provided properties.
@@ -118,6 +129,16 @@ export default class GridData {
      * @returns The new grid with the modified properties.
      */
     copyWith({ width, height, tiles, connections, zones, symbols, rules, }) {
+        return GridData.create(width ?? this.width, height ?? this.height, tiles ?? this.tiles, connections ?? this.connections, zones ?? this.zones, symbols ?? this.symbols, rules ?? this.rules);
+    }
+    /**
+     * Copy the current grid while modifying the provided properties.
+     * Skip sanitization and event triggering for performance.
+     *
+     * @param param0 The properties to modify.
+     * @returns The new grid with the modified properties.
+     */
+    fastCopyWith({ width, height, tiles, connections, zones, symbols, rules, }) {
         return new GridData(width ?? this.width, height ?? this.height, tiles ?? this.tiles, connections ?? this.connections, zones ?? this.zones, symbols ?? this.symbols, rules ?? this.rules);
     }
     isPositionValid(x, y) {
@@ -136,17 +157,17 @@ export default class GridData {
     }
     /**
      * Safely set the tile at the given position.
-     * If the position is invalid, the grid is returned unchanged.
+     * If the position is invalid, the tile array is returned unchanged.
      * If the tile is merged with other tiles, the colors of all connected tiles are changed.
      *
      * @param x The x-coordinate of the tile.
      * @param y The y-coordinate of the tile.
      * @param tile The new tile to set.
-     * @returns The new grid with the tile set at the given position.
+     * @returns The new tile array with updated tiles.
      */
     setTile(x, y, tile) {
         if (x < 0 || x >= this.width || y < 0 || y >= this.height) {
-            return this;
+            return this.tiles;
         }
         const changing = this.connections.getConnectedTiles({ x, y });
         const tiles = this.tiles.map(row => [...row]);
@@ -155,7 +176,7 @@ export default class GridData {
             tiles[y][x] = tiles[y][x].withColor(newTile.color);
         });
         tiles[y][x] = newTile;
-        return this.copyWith({ tiles });
+        return tiles;
     }
     /**
      * Replace or modify all tiles in the grid.
@@ -542,20 +563,6 @@ export default class GridData {
             return TileData.create(row.charAt(x));
         }));
     }
-    /**
-     * Create a new GridData object from a string array.
-     *
-     * - Use `b` for dark cells, `w` for light cells, and `n` for gray cells.
-     * - Capitalize the letter to make the tile fixed.
-     * - Use `.` to represent empty space.
-     *
-     * @param array - The string array to create the grid from.
-     * @returns The created grid.
-     */
-    static create(array) {
-        const tiles = GridData.createTiles(array);
-        return new GridData(tiles[0]?.length ?? 0, tiles.length, tiles);
-    }
     /**
      * Find a tile in the grid that satisfies the predicate.
      *
@@ -795,7 +802,7 @@ export default class GridData {
             if (newSymbolList.length > 0)
                 symbols.set(id, newSymbolList);
         }
-        return new GridData(width, height, newTiles, connections, zones, symbols, this.rules);
+        return GridData.create(width, height, newTiles, connections, zones, symbols, this.rules);
     }
     pasteTiles(origin, grid) {
         if (!(grid instanceof GridData))

package/dist/data/rules/banPatternRule.js

@@ -64,7 +64,7 @@ class BanPatternRule extends Rule {
                 return tile;
             return tile.withExists(false);
         });
-        return new GridData(width, height, tiles);
+        return GridData.create(width, height, tiles);
     }
     get searchVariants() {
         return BanPatternRule.SEARCH_VARIANTS;

package/dist/data/rules/customRule.js

@@ -57,7 +57,7 @@ Object.defineProperty(CustomRule, "EXAMPLE_GRID", {
     enumerable: true,
     configurable: true,
     writable: true,
-    value: Object.freeze(new GridData(5, 4))
+    value: Object.freeze(GridData.create(5, 4))
 });
 Object.defineProperty(CustomRule, "configs", {
     enumerable: true,

package/dist/data/rules/lyingSymbolRule.d.ts

@@ -9,7 +9,7 @@ export default class LyingSymbolRule extends Rule implements FinalValidationHand
     private static readonly CONFIGS;
     private static readonly SEARCH_VARIANTS;
     /**
-     * **<count> symbols are lying and can be ignored**
+     * **<count> symbols are lying and are incorrect**
      *
      * @param count Number of lying symbols
      */

package/dist/data/rules/lyingSymbolRule.js

@@ -1,12 +1,15 @@
 import { ConfigType } from '../config.js';
 import GridData from '../grid.js';
-import { Color, State } from '../primitives.js';
+import { Color, Orientation, State, } from '../primitives.js';
 import Rule from './rule.js';
-import CustomIconSymbol from '../symbols/customIconSymbol.js';
 import validateGrid from '../validate.js';
 import Symbol from '../symbols/symbol.js';
+import LetterSymbol from '../symbols/letterSymbol.js';
+import GalaxySymbol from '../symbols/galaxySymbol.js';
+import LotusSymbol from '../symbols/lotusSymbol.js';
+import AreaNumberSymbol from '../symbols/areaNumberSymbol.js';
 class IgnoredSymbol extends Symbol {
-    constructor(symbol) {
+    constructor(symbol, state) {
         super(symbol.x, symbol.y);
         Object.defineProperty(this, "symbol", {
             enumerable: true,
@@ -14,16 +17,23 @@ class IgnoredSymbol extends Symbol {
             writable: true,
             value: symbol
         });
+        Object.defineProperty(this, "state", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: state
+        });
         this.symbol = symbol;
+        this.state = state;
     }
     get id() {
-        return this.symbol.id;
+        return `ignored_${this.symbol.id}`;
     }
     get explanation() {
         return this.symbol.explanation;
     }
     get configs() {
-        return this.symbol.configs;
+        return [];
     }
     createExampleGrid() {
         return this.symbol.createExampleGrid();
@@ -38,14 +48,17 @@ class IgnoredSymbol extends Symbol {
         return this.symbol.sortOrder;
     }
     validateSymbol(_grid, _solution) {
-        return State.Ignored;
+        return this.state;
     }
-    copyWith({ symbol }) {
-        return new IgnoredSymbol(symbol ?? this.symbol);
+    copyWith({ symbol, state }) {
+        return new IgnoredSymbol(symbol ?? this.symbol, state ?? this.state);
     }
     withSymbol(symbol) {
         return this.copyWith({ symbol });
     }
+    equals(other) {
+        return other === this;
+    }
 }
 class IgnoredRule extends Rule {
     constructor(rule, state) {
@@ -69,11 +82,14 @@ class IgnoredRule extends Rule {
         return [];
     }
     get id() {
-        return this.rule.id;
+        return `ignored_${this.rule.id}`;
     }
     get explanation() {
         return this.rule.explanation;
     }
+    get configs() {
+        return [];
+    }
     createExampleGrid() {
         return this.rule.createExampleGrid();
     }
@@ -95,10 +111,13 @@ class IgnoredRule extends Rule {
     copyWith({ rule, state }) {
         return new IgnoredRule(rule ?? this.rule, state ?? this.state);
     }
+    equals(other) {
+        return other === this;
+    }
 }
 class LyingSymbolRule extends Rule {
     /**
-     * **<count> symbols are lying and can be ignored**
+     * **<count> symbols are lying and are incorrect**
      *
      * @param count Number of lying symbols
      */
@@ -116,7 +135,7 @@ class LyingSymbolRule extends Rule {
         return `lying_symbols`;
     }
     get explanation() {
-        return `${this.count} symbol${this.count <= 1 ? ' is' : 's are'} *lying* and can be ignored`;
+        return `${this.count} symbol${this.count <= 1 ? ' is' : 's are'} *lying* and ${this.count <= 1 ? 'is' : 'are'} incorrect`;
     }
     get configs() {
         return LyingSymbolRule.CONFIGS;
@@ -156,7 +175,7 @@ class LyingSymbolRule extends Rule {
                     newSymbols.set(key, []);
                 }
                 if (ignoredSymbols.some(([k, i]) => k === key && i === idx)) {
-                    newSymbols.get(key).push(new IgnoredSymbol(symbol));
+                    newSymbols.get(key).push(new IgnoredSymbol(symbol, State.Ignored));
                 }
                 else {
                     newSymbols.get(key).push(symbol);
@@ -183,7 +202,13 @@ Object.defineProperty(LyingSymbolRule, "EXAMPLE_GRID", {
     enumerable: true,
     configurable: true,
     writable: true,
-    value: Object.freeze(GridData.create(['.']).addSymbol(new CustomIconSymbol('', GridData.create([]), 0, 0, 'MdOutlineDeblur')))
+    value: Object.freeze(GridData.create(['bbbbw', 'wwbbb', 'bbbbw', 'wbbww']).withSymbols([
+        new LetterSymbol(4, 0, 'A'),
+        new GalaxySymbol(1, 1),
+        new LotusSymbol(2, 2, Orientation.Up),
+        new LetterSymbol(0, 3, 'A'),
+        new AreaNumberSymbol(4, 3, 1),
+    ]))
 });
 Object.defineProperty(LyingSymbolRule, "CONFIGS", {
     enumerable: true,

package/dist/data/rules/musicGridRule.js

@@ -200,7 +200,7 @@ Object.defineProperty(MusicGridRule, "CONFIGS", {
         {
             type: ConfigType.NullableGrid,
             default: null,
-            nonNullDefault: new GridData(5, 4).addRule(new MusicGridRule([new ControlLine(0, 120, false, false, DEFAULT_SCALLE)], null)),
+            nonNullDefault: GridData.create(5, 4).addRule(new MusicGridRule([new ControlLine(0, 120, false, false, DEFAULT_SCALLE)], null)),
             field: 'track',
             description: 'Track',
             configurable: true,

package/dist/data/rules/mysteryRule.js

@@ -121,7 +121,7 @@ class MysteryRule extends Rule {
                 return tile.withColor(solutionTile.color);
             })
             : solution.tiles;
-        return new GridData(baseGrid?.width ?? solution.width, baseGrid?.height ?? solution.height, tiles);
+        return GridData.create(baseGrid?.width ?? solution.width, baseGrid?.height ?? solution.height, tiles);
     }
 }
 Object.defineProperty(MysteryRule, "EXAMPLE_GRID", {

package/dist/data/rules/regionAreaRule.js

@@ -62,7 +62,7 @@ class RegionAreaRule extends Rule {
                             ? Color.Dark
                             : Color.Light);
             });
-            return new GridData(5, 4, tiles);
+            return GridData.create(5, 4, tiles);
         }
     }
     get searchVariants() {
@@ -157,13 +157,13 @@ Object.defineProperty(RegionAreaRule, "EXAMPLE_GRID_LIGHT", {
     enumerable: true,
     configurable: true,
     writable: true,
-    value: Object.freeze(RegionAreaRule.EXAMPLE_GRID_DARK.map(grid => new GridData(grid.width, grid.height, grid.tiles.map(row => row.map(tile => tile.withColor(tile.color === Color.Dark ? Color.Light : Color.Dark))))))
+    value: Object.freeze(RegionAreaRule.EXAMPLE_GRID_DARK.map(grid => GridData.create(grid.width, grid.height, grid.tiles.map(row => row.map(tile => tile.withColor(tile.color === Color.Dark ? Color.Light : Color.Dark))))))
 });
 Object.defineProperty(RegionAreaRule, "EXAMPLE_GRID_GRAY", {
     enumerable: true,
     configurable: true,
     writable: true,
-    value: Object.freeze(RegionAreaRule.EXAMPLE_GRID_DARK.map(grid => new GridData(grid.width, grid.height, grid.tiles.map((row, y) => row.map((tile, x) => tile.withColor(tile.color === Color.Dark
+    value: Object.freeze(RegionAreaRule.EXAMPLE_GRID_DARK.map(grid => GridData.create(grid.width, grid.height, grid.tiles.map((row, y) => row.map((tile, x) => tile.withColor(tile.color === Color.Dark
         ? Color.Gray
         : x % 2 !== y % 2
             ? Color.Dark

package/dist/data/serializer/serializer_v0.js

@@ -422,7 +422,7 @@ export default class SerializerV0 extends SerializerBase {
                 throw new Error(`Invalid data: ${d}`);
             }
         }
-        return new GridData(width ?? tiles?.[0].length ?? 0, height ?? tiles?.length ?? 0, tiles, connections, zones, symbols, rules);
+        return GridData.create(width ?? tiles?.[0].length ?? 0, height ?? tiles?.length ?? 0, tiles, connections, zones, symbols, rules);
     }
     stringifyPuzzle(puzzle) {
         let grid = puzzle.grid;

package/dist/data/solver/allSolvers.js

@@ -1,4 +1,4 @@
-import UndercluedSolver from './underclued/undercluedSolver.js';
+import UniversalSolver from './universal/universalSolver.js';
 import BacktrackSolver from './backtrack/backtrackSolver.js';
 import Z3Solver from './z3/z3Solver.js';
 const allSolvers = new Map();
@@ -6,6 +6,6 @@ function register(prototype) {
     allSolvers.set(prototype.id, prototype);
 }
 register(new BacktrackSolver());
-register(new UndercluedSolver());
+register(new UniversalSolver());
 register(new Z3Solver());
 export { allSolvers };

package/dist/data/solver/backtrack/backtrackSolver.d.ts

@@ -1,9 +1,8 @@
-import GridData from '../../grid.js';
-import Solver from '../solver.js';
-export default class BacktrackSolver extends Solver {
+import EventIteratingSolver from '../eventIteratingSolver.js';
+export default class BacktrackSolver extends EventIteratingSolver {
     private static readonly supportedInstrs;
     readonly id = "backtrack";
     readonly description = "Solves puzzles using backtracking with optimizations (blazingly fast). Support most rules and symbols (including underclued).";
-    solve(grid: GridData): AsyncGenerator<GridData | null>;
+    protected createWorker(): Worker;
     isInstructionSupported(instructionId: string): boolean;
 }