@logic-pad/core 0.10.1 → 0.10.2

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

@@ -2087,7 +2087,8 @@ declare global {
      *
      * @returns A promise that resolves to `true` if the environment is supported, or `false` otherwise.
      */
-    isEnvironmentSupported(): Promise<boolean>;
+    protected isEnvironmentSupported(): Promise<boolean>;
+    readonly environmentCheck: CachedAccess<Promise<boolean>>;
     /**
      * Check if the solver supports the given instruction. This is used to render a small indication in the UI for each
      * instruction in the editor.
@@ -2108,9 +2109,25 @@ declare global {
     isGridSupported(grid: GridData): boolean;
   }
   export declare const allSolvers: Map<string, Solver>;
+  export declare class AutoSolver extends Solver {
+    readonly id = 'auto';
+    readonly author = 'various contributors';
+    readonly description =
+      'Automatically select the fastest solver based on supported instructions and environment.';
+    readonly supportsCancellation = true;
+    private gridSupportCache;
+    isGridSupported(grid: GridData): boolean;
+    isInstructionSupported(instructionId: string): boolean;
+    protected isEnvironmentSupported(): Promise<boolean>;
+    solve(
+      grid: GridData,
+      abortSignal?: AbortSignal | undefined
+    ): AsyncGenerator<GridData | null>;
+  }
   export declare abstract class EventIteratingSolver extends Solver {
     readonly supportsCancellation = true;
     protected abstract createWorker(): Worker;
+    protected isEnvironmentSupported(): Promise<boolean>;
     solve(
       grid: GridData,
       abortSignal?: AbortSignal
@@ -2635,7 +2652,7 @@ declare global {
     readonly id = 'cspuz';
     readonly author = 'semiexp';
     readonly description =
-      'A blazingly fast WebAssembly solver that supports most rules and symbols (including underclued). No uniqueness check yet.';
+      'A blazingly fast WebAssembly solver that supports most rules and symbols (including underclued).';
     protected createWorker(): Worker;
     isGridSupported(grid: GridData): boolean;
     isInstructionSupported(instructionId: string): boolean;
@@ -2739,7 +2756,7 @@ declare global {
     readonly description =
       '(Obsolete) A WebAssembly solver that supports a limited set of rules and symbols.';
     readonly supportsCancellation = false;
-    isEnvironmentSupported(): Promise<boolean>;
+    protected isEnvironmentSupported(): Promise<boolean>;
     solve(grid: GridData): AsyncGenerator<GridData | null>;
     isInstructionSupported(instructionId: string): boolean;
     isGridSupported(grid: GridData): boolean;

package/dist/data/solver/allSolvers.js

@@ -2,10 +2,12 @@ import UniversalSolver from './universal/universalSolver.js';
 import BacktrackSolver from './backtrack/backtrackSolver.js';
 import Z3Solver from './z3/z3Solver.js';
 import CspuzSolver from './cspuz/cspuzSolver.js';
+import AutoSolver from './auto/autoSolver.js';
 const allSolvers = new Map();
 function register(prototype) {
     allSolvers.set(prototype.id, prototype);
 }
+register(new AutoSolver());
 register(new CspuzSolver());
 register(new BacktrackSolver());
 register(new UniversalSolver());

package/dist/data/solver/auto/autoSolver.d.ts

@@ -0,0 +1,13 @@
+import GridData from '../../grid.js';
+import Solver from '../solver.js';
+export default class AutoSolver extends Solver {
+    readonly id = "auto";
+    readonly author = "various contributors";
+    readonly description = "Automatically select the fastest solver based on supported instructions and environment.";
+    readonly supportsCancellation = true;
+    private gridSupportCache;
+    isGridSupported(grid: GridData): boolean;
+    isInstructionSupported(instructionId: string): boolean;
+    protected isEnvironmentSupported(): Promise<boolean>;
+    solve(grid: GridData, abortSignal?: AbortSignal | undefined): AsyncGenerator<GridData | null>;
+}

package/dist/data/solver/auto/autoSolver.js

@@ -0,0 +1,88 @@
+import { allSolvers } from '../allSolvers.js';
+import Solver from '../solver.js';
+export default class AutoSolver extends Solver {
+    constructor() {
+        super(...arguments);
+        Object.defineProperty(this, "id", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: 'auto'
+        });
+        Object.defineProperty(this, "author", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: 'various contributors'
+        });
+        Object.defineProperty(this, "description", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: 'Automatically select the fastest solver based on supported instructions and environment.'
+        });
+        Object.defineProperty(this, "supportsCancellation", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: true
+        });
+        Object.defineProperty(this, "gridSupportCache", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: null
+        });
+    }
+    isGridSupported(grid) {
+        for (const solver of allSolvers.values()) {
+            if (solver.id === this.id)
+                continue;
+            if (solver.isGridSupported(grid)) {
+                this.gridSupportCache = [grid, solver];
+                return true;
+            }
+        }
+        this.gridSupportCache = [grid, null];
+        return false;
+    }
+    isInstructionSupported(instructionId) {
+        for (const solver of allSolvers.values()) {
+            if (solver.id === this.id)
+                continue;
+            if (solver.isInstructionSupported(instructionId)) {
+                return true;
+            }
+        }
+        return false;
+    }
+    async isEnvironmentSupported() {
+        for (const solver of allSolvers.values()) {
+            if (solver.id === this.id)
+                continue;
+            if (await solver.environmentCheck.value) {
+                return true;
+            }
+        }
+        return false;
+    }
+    solve(grid, abortSignal) {
+        let targetSolver = null;
+        if (this.gridSupportCache && this.gridSupportCache[0] === grid) {
+            targetSolver = this.gridSupportCache[1];
+        }
+        else {
+            for (const solver of allSolvers.values()) {
+                if (solver.id === this.id)
+                    continue;
+                if (solver.isGridSupported(grid)) {
+                    targetSolver = solver;
+                }
+            }
+        }
+        if (targetSolver) {
+            return targetSolver.solve(grid, abortSignal);
+        }
+        throw new Error('No solver supports the given grid');
+    }
+}

package/dist/data/solver/cspuz/cspuzSolver.d.ts

@@ -4,7 +4,7 @@ export default class CspuzSolver extends EventIteratingSolver {
     private static readonly supportedInstrs;
     readonly id = "cspuz";
     readonly author = "semiexp";
-    readonly description = "A blazingly fast WebAssembly solver that supports most rules and symbols (including underclued). No uniqueness check yet.";
+    readonly description = "A blazingly fast WebAssembly solver that supports most rules and symbols (including underclued).";
     protected createWorker(): Worker;
     isGridSupported(grid: GridData): boolean;
     isInstructionSupported(instructionId: string): boolean;

package/dist/data/solver/cspuz/cspuzSolver.js

@@ -36,7 +36,7 @@ class CspuzSolver extends EventIteratingSolver {
             enumerable: true,
             configurable: true,
             writable: true,
-            value: 'A blazingly fast WebAssembly solver that supports most rules and symbols (including underclued). No uniqueness check yet.'
+            value: 'A blazingly fast WebAssembly solver that supports most rules and symbols (including underclued).'
         });
     }
     createWorker() {

package/dist/data/solver/cspuz/cspuzWorker.js

@@ -14,10 +14,7 @@ function stringToColor(str) {
         return Color.Gray;
     }
 }
-onmessage = e => {
-    const grid = Serializer.parseGrid(e.data);
-    const puzzleData = gridToJson(grid);
-    const solverResult = solveLogicPad(puzzleData, !!grid.findRule(r => r.id === undercluedInstance.id));
+function postSolution(grid, solverResult) {
     if (solverResult === null) {
         postMessage(null);
     }
@@ -40,5 +37,47 @@ onmessage = e => {
             postMessage(Serializer.stringifyGrid(solution));
         }
     }
+}
+onmessage = e => {
+    const grid = Serializer.parseGrid(e.data);
+    const isUnderclued = !!grid.findRule(r => r.id === undercluedInstance.id);
+    const puzzleData = gridToJson(grid);
+    const solverResult = solveLogicPad(puzzleData, isUnderclued);
+    postSolution(grid, solverResult);
+    // Make use of the underclued mode to determine solution uniqueness
+    if (solverResult !== null && !('error' in solverResult) && !isUnderclued) {
+        const undercluedResult = solveLogicPad(puzzleData, true);
+        if (undercluedResult === null) {
+            postMessage(undefined); // Shouldn't happen because underclued grids should always be solvable
+        }
+        else if ('error' in undercluedResult) {
+            throw new Error(undercluedResult.error);
+        }
+        else if (undercluedResult.every((row, y) => row.every((cell, x) => cell !== null || !grid.getTile(x, y).exists))) {
+            postMessage(null);
+        }
+        else {
+            let tweaked = false;
+            for (const [y, row] of undercluedResult.entries()) {
+                for (const [x, color] of row.entries()) {
+                    if (color !== null) {
+                        puzzleData.tiles[y][x].fixed = true;
+                        puzzleData.tiles[y][x].color = color;
+                    }
+                    else if (!tweaked) {
+                        const positions = grid.connections.getConnectedTiles({ x, y });
+                        const newColor = solverResult[y][x] === 'dark' ? 'light' : 'dark';
+                        positions.forEach(({ x: px, y: py }) => {
+                            puzzleData.tiles[py][px].fixed = true;
+                            puzzleData.tiles[py][px].color = newColor;
+                        });
+                        tweaked = true;
+                    }
+                }
+            }
+            const secondResult = solveLogicPad(puzzleData, false);
+            postSolution(grid, secondResult);
+        }
+    }
     postMessage(undefined);
 };

package/dist/data/solver/eventIteratingSolver.d.ts

@@ -3,5 +3,6 @@ import Solver from './solver.js';
 export default abstract class EventIteratingSolver extends Solver {
     readonly supportsCancellation = true;
     protected abstract createWorker(): Worker;
+    protected isEnvironmentSupported(): Promise<boolean>;
     solve(grid: GridData, abortSignal?: AbortSignal): AsyncGenerator<GridData | null>;
 }

package/dist/data/solver/eventIteratingSolver.js

@@ -11,6 +11,16 @@ export default class EventIteratingSolver extends Solver {
             value: true
         });
     }
+    isEnvironmentSupported() {
+        try {
+            const worker = this.createWorker();
+            worker.terminate();
+            return Promise.resolve(true);
+        }
+        catch (ex) {
+            return Promise.resolve(false);
+        }
+    }
     async *solve(grid, abortSignal) {
         const worker = this.createWorker();
         const terminateHandler = () => worker.terminate();

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

@@ -1,3 +1,4 @@
+import { CachedAccess } from '../dataHelper.js';
 import GridData from '../grid.js';
 /**
  * Base class that all solvers must extend.
@@ -49,7 +50,8 @@ export default abstract class Solver {
      *
      * @returns A promise that resolves to `true` if the environment is supported, or `false` otherwise.
      */
-    isEnvironmentSupported(): Promise<boolean>;
+    protected isEnvironmentSupported(): Promise<boolean>;
+    readonly environmentCheck: CachedAccess<Promise<boolean>>;
     /**
      * Check if the solver supports the given instruction. This is used to render a small indication in the UI for each
      * instruction in the editor.

package/dist/data/solver/solver.js

@@ -1,9 +1,18 @@
+import { CachedAccess } from '../dataHelper.js';
 import { allRules } from '../rules/index.js';
 import { allSymbols } from '../symbols/index.js';
 /**
  * Base class that all solvers must extend.
  */
 export default class Solver {
+    constructor() {
+        Object.defineProperty(this, "environmentCheck", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: CachedAccess.of(() => this.isEnvironmentSupported())
+        });
+    }
     /**
      * 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.

package/dist/data/solver/z3/z3Solver.d.ts

@@ -5,7 +5,7 @@ export default class Z3Solver extends Solver {
     readonly author = "Lysine";
     readonly description = "(Obsolete) A WebAssembly solver that supports a limited set of rules and symbols.";
     readonly supportsCancellation = false;
-    isEnvironmentSupported(): Promise<boolean>;
+    protected isEnvironmentSupported(): Promise<boolean>;
     solve(grid: GridData): AsyncGenerator<GridData | null>;
     isInstructionSupported(instructionId: string): boolean;
     isGridSupported(grid: GridData): boolean;

package/dist/index.d.ts

@@ -47,6 +47,7 @@ import SerializerBase from './data/serializer/serializerBase.js';
 import SerializerV0 from './data/serializer/serializer_v0.js';
 import { getShapeVariants, normalizeShape, positionsToShape, shapeEquals, tilesToShape } from './data/shapes.js';
 import { allSolvers } from './data/solver/allSolvers.js';
+import AutoSolver from './data/solver/auto/autoSolver.js';
 import BacktrackSolver from './data/solver/backtrack/backtrackSolver.js';
 import BTModule, { BTGridData, BTTile, IntArray2D, colorToBTTile, createOneTileResult, getOppositeColor } from './data/solver/backtrack/data.js';
 import BanPatternBTModule from './data/solver/backtrack/rules/banPattern.js';
@@ -106,4 +107,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, handlesGetTile, handlesGridChange, handlesGridResize, handlesSetGrid, invokeSetGrid, handlesSymbolDisplay, handlesSymbolValidation, GridData, NEIGHBOR_OFFSETS, GridConnections, GridZones, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, Direction, MajorRule, Mode, ORIENTATIONS, Orientation, State, WRAPPINGS, Wrapping, 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, WrapAroundRule, 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, FocusBTModule, GalaxyBTModule, LetterBTModule, LotusBTModule, MinesweeperBTModule, MyopiaBTModule, ViewpointBTModule, CspuzSolver, gridToJson, EventIteratingSolver, Solver, UniversalSolver, AreaNumberModule, CellCountModule, ConnectAllModule, DartModule, allZ3Modules, LetterModule, MyopiaModule, RegionAreaModule, ViewpointModule, Z3Module, convertDirection, Z3Solver, Z3SolverContext, AreaNumberSymbol, CustomIconSymbol, CustomSymbol, CustomTextSymbol, DartSymbol, DirectionLinkerSymbol, FocusSymbol, 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, handlesGetTile, handlesGridChange, handlesGridResize, handlesSetGrid, invokeSetGrid, handlesSymbolDisplay, handlesSymbolValidation, GridData, NEIGHBOR_OFFSETS, GridConnections, GridZones, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, Direction, MajorRule, Mode, ORIENTATIONS, Orientation, State, WRAPPINGS, Wrapping, 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, WrapAroundRule, Serializer, Compressor, CompressorBase, DeflateCompressor, GzipCompressor, StreamCompressor, SerializerBase, SerializerV0, getShapeVariants, normalizeShape, positionsToShape, shapeEquals, tilesToShape, allSolvers, AutoSolver, BacktrackSolver, BTModule, BTGridData, BTTile, IntArray2D, colorToBTTile, createOneTileResult, getOppositeColor, BanPatternBTModule, CellCountBTModule, ConnectAllBTModule, RegionAreaBTModule, RegionShapeBTModule, SameShapeBTModule, SymbolsPerRegionBTModule, UniqueShapeBTModule, AreaNumberBTModule, DartBTModule, DirectionLinkerBTModule, FocusBTModule, GalaxyBTModule, LetterBTModule, LotusBTModule, MinesweeperBTModule, MyopiaBTModule, ViewpointBTModule, CspuzSolver, gridToJson, EventIteratingSolver, Solver, UniversalSolver, AreaNumberModule, CellCountModule, ConnectAllModule, DartModule, allZ3Modules, LetterModule, MyopiaModule, RegionAreaModule, ViewpointModule, Z3Module, convertDirection, Z3Solver, Z3SolverContext, AreaNumberSymbol, CustomIconSymbol, CustomSymbol, CustomTextSymbol, DartSymbol, DirectionLinkerSymbol, FocusSymbol, GalaxySymbol, HiddenSymbol, allSymbols, LetterSymbol, LotusSymbol, MinesweeperSymbol, MultiEntrySymbol, MyopiaSymbol, NumberSymbol, Symbol, ViewpointSymbol, TileData, TileConnections, validateGrid, aggregateState, applyFinalOverrides, };

package/dist/index.js

@@ -50,6 +50,7 @@ import SerializerBase from './data/serializer/serializerBase.js';
 import SerializerV0 from './data/serializer/serializer_v0.js';
 import { getShapeVariants, normalizeShape, positionsToShape, shapeEquals, tilesToShape } from './data/shapes.js';
 import { allSolvers } from './data/solver/allSolvers.js';
+import AutoSolver from './data/solver/auto/autoSolver.js';
 import BacktrackSolver from './data/solver/backtrack/backtrackSolver.js';
 import BTModule, { BTGridData, BTTile, IntArray2D, colorToBTTile, createOneTileResult, getOppositeColor } from './data/solver/backtrack/data.js';
 import BanPatternBTModule from './data/solver/backtrack/rules/banPattern.js';
@@ -109,4 +110,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, handlesGetTile, handlesGridChange, handlesGridResize, handlesSetGrid, invokeSetGrid, handlesSymbolDisplay, handlesSymbolValidation, GridData, NEIGHBOR_OFFSETS, GridConnections, GridZones, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, Direction, MajorRule, Mode, ORIENTATIONS, Orientation, State, WRAPPINGS, Wrapping, 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, WrapAroundRule, 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, FocusBTModule, GalaxyBTModule, LetterBTModule, LotusBTModule, MinesweeperBTModule, MyopiaBTModule, ViewpointBTModule, CspuzSolver, gridToJson, EventIteratingSolver, Solver, UniversalSolver, AreaNumberModule, CellCountModule, ConnectAllModule, DartModule, allZ3Modules, LetterModule, MyopiaModule, RegionAreaModule, ViewpointModule, Z3Module, convertDirection, Z3Solver, Z3SolverContext, AreaNumberSymbol, CustomIconSymbol, CustomSymbol, CustomTextSymbol, DartSymbol, DirectionLinkerSymbol, FocusSymbol, 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, handlesGetTile, handlesGridChange, handlesGridResize, handlesSetGrid, invokeSetGrid, handlesSymbolDisplay, handlesSymbolValidation, GridData, NEIGHBOR_OFFSETS, GridConnections, GridZones, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, Direction, MajorRule, Mode, ORIENTATIONS, Orientation, State, WRAPPINGS, Wrapping, 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, WrapAroundRule, Serializer, Compressor, CompressorBase, DeflateCompressor, GzipCompressor, StreamCompressor, SerializerBase, SerializerV0, getShapeVariants, normalizeShape, positionsToShape, shapeEquals, tilesToShape, allSolvers, AutoSolver, BacktrackSolver, BTModule, BTGridData, BTTile, IntArray2D, colorToBTTile, createOneTileResult, getOppositeColor, BanPatternBTModule, CellCountBTModule, ConnectAllBTModule, RegionAreaBTModule, RegionShapeBTModule, SameShapeBTModule, SymbolsPerRegionBTModule, UniqueShapeBTModule, AreaNumberBTModule, DartBTModule, DirectionLinkerBTModule, FocusBTModule, GalaxyBTModule, LetterBTModule, LotusBTModule, MinesweeperBTModule, MyopiaBTModule, ViewpointBTModule, CspuzSolver, gridToJson, EventIteratingSolver, Solver, UniversalSolver, AreaNumberModule, CellCountModule, ConnectAllModule, DartModule, allZ3Modules, LetterModule, MyopiaModule, RegionAreaModule, ViewpointModule, Z3Module, convertDirection, Z3Solver, Z3SolverContext, AreaNumberSymbol, CustomIconSymbol, CustomSymbol, CustomTextSymbol, DartSymbol, DirectionLinkerSymbol, FocusSymbol, 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.10.1",
+  "version": "0.10.2",
   "type": "module",
   "files": [
     "dist",