@logic-pad/core 0.4.2 → 0.4.5

package/dist/data/rules/perfectionRule.js

@@ -1,13 +1,23 @@
 import GridData from '../grid.js';
-import { Color, State } from '../primitives.js';
+import { Color, State, Mode, } from '../primitives.js';
 import Rule from './rule.js';
 import CustomIconSymbol from '../symbols/customIconSymbol.js';
+import validateGrid from '../validate.js';
 class PerfectionRule extends Rule {
     /**
      * **Quest for Perfection: cell colors are final**
+     *
+     * @param editor - whether to enable editor mode. This field is automatically set by the editor.
      */
-    constructor() {
+    constructor(editor = false) {
         super();
+        Object.defineProperty(this, "editor", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: editor
+        });
+        this.editor = editor;
     }
     get id() {
         return `perfection`;
@@ -30,6 +40,18 @@ class PerfectionRule extends Rule {
     get isSingleton() {
         return true;
     }
+    modeVariant(mode) {
+        // only allow this rule in perfection mode
+        if (this.editor === (mode === Mode.Create)) {
+            return this;
+        }
+        else if (mode === Mode.Create) {
+            return this.copyWith({ editor: true });
+        }
+        else {
+            return this.copyWith({ editor: false });
+        }
+    }
     validateGrid(grid) {
         if (grid.getTileCount(true, undefined, Color.Gray) > 0) {
             return { state: State.Incomplete };
@@ -71,30 +93,62 @@ class PerfectionRule extends Rule {
         }
         return state;
     }
-    fixTiles(grid) {
+    fixTiles(grid, exclusions) {
         if (grid.getTileCount(true, false, Color.Light) > 0 ||
             grid.getTileCount(true, false, Color.Dark) > 0) {
-            return grid.withTiles(tiles => tiles.map(row => row.map(t => t.exists && t.color !== Color.Gray ? t.withFixed(true) : t)));
+            return grid.withTiles(tiles => tiles.map((row, y) => row.map((t, x) => t.exists &&
+                t.color !== Color.Gray &&
+                !exclusions?.some(e => e.x === x && e.y === y)
+                ? t.withFixed(true)
+                : t)));
         }
         return grid;
     }
+    isValid(grid, solution) {
+        return validateGrid(grid, solution).final !== State.Error;
+    }
+    findSingleError(grid, solution) {
+        if (solution === null)
+            return [];
+        const positions = [];
+        // If a solution is available, we can compare against the solution and allow the user to modify the one single error.
+        grid.tiles.forEach((row, y) => row.forEach((t, x) => {
+            if (t.exists &&
+                t.color !== Color.Gray &&
+                t.color !== solution.getTile(x, y).color) {
+                positions.push({ x, y });
+            }
+        }));
+        if (positions.length > 1) {
+            const connected = grid.connections.getConnectedTiles(positions[0]);
+            if (!positions.every(p => connected.some(c => c.x === p.x && c.y === p.y))) {
+                return [];
+            }
+        }
+        return positions;
+    }
     /**
      * Force all tiles to be fixed.
      *
      * If the grid is already wrong, prevent the player from changing it further.
      */
     onSetGrid(oldGrid, newGrid, solution) {
-        if (!solution) {
-            return this.fixTiles(newGrid);
+        if (this.editor)
+            return newGrid;
+        const oldGridIsValid = this.isValid(oldGrid, solution);
+        const newGridIsValid = this.isValid(newGrid, solution);
+        if (!oldGridIsValid && !newGridIsValid) {
+            const oldPositions = this.findSingleError(oldGrid, solution);
+            return this.fixTiles(oldGrid, oldPositions);
         }
-        if (!oldGrid.solutionMatches(solution) &&
-            !newGrid.solutionMatches(solution)) {
-            return this.fixTiles(oldGrid);
+        else if (!newGridIsValid) {
+            const positions = this.findSingleError(newGrid, solution);
+            return this.fixTiles(newGrid, positions);
         }
         return this.fixTiles(newGrid);
     }
-    copyWith(_) {
-        return new PerfectionRule();
+    copyWith({ editor }) {
+        return new PerfectionRule(editor ?? this.editor);
     }
 }
 Object.defineProperty(PerfectionRule, "EXAMPLE_GRID", {
@@ -107,7 +161,9 @@ Object.defineProperty(PerfectionRule, "SEARCH_VARIANTS", {
     enumerable: true,
     configurable: true,
     writable: true,
-    value: []
-}); // this rule is not searchable
+    value: [
+        new PerfectionRule().searchVariant(),
+    ]
+});
 export default PerfectionRule;
 export const instance = new PerfectionRule();

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

@@ -1,5 +1,5 @@
 import GridData from '../grid.js';
-import { RuleState } from '../primitives.js';
+import { Mode, RuleState } from '../primitives.js';
 import Instruction from '../instruction.js';
 export interface SearchVariant {
     description: string;
@@ -9,6 +9,7 @@ export default abstract class Rule extends Instruction {
     abstract validateGrid(grid: GridData): RuleState;
     abstract get searchVariants(): SearchVariant[];
     searchVariant(): SearchVariant;
+    modeVariant(_mode: Mode): Rule | null;
     /**
      * Whether only one instance of this rule is allowed in a grid.
      */

package/dist/data/rules/rule.js

@@ -6,6 +6,9 @@ export default class Rule extends Instruction {
             rule: this,
         };
     }
+    modeVariant(_mode) {
+        return this;
+    }
     /**
      * Whether only one instance of this rule is allowed in a grid.
      */

package/dist/data/serializer/serializer_v0.js

@@ -173,8 +173,10 @@ export default class SerializerV0 extends SerializerBase {
     parseConfig(configs, entry) {
         const [key, value] = entry.split('=');
         const config = configs.find(x => x.field === key);
-        if (!config)
-            throw new Error(`Unknown config: ${key}`);
+        if (!config) {
+            console.warn(`Unknown config: ${key} when parsing ${entry}`);
+            return [key, value];
+        }
         switch (config.type) {
             case ConfigType.Boolean:
                 return [config.field, value === '1'];

package/dist/data/symbols/hiddenSymbol.d.ts

@@ -1,12 +1,11 @@
 import { AnyConfig } from '../config.js';
 import { SymbolDisplayHandler } from '../events/onSymbolDisplay.js';
 import GridData from '../grid.js';
-import { Color, State } from '../primitives.js';
+import { State } from '../primitives.js';
 import Symbol from './symbol.js';
 export default class HiddenSymbol extends Symbol implements SymbolDisplayHandler {
     readonly x: number;
     readonly y: number;
-    readonly color: Color;
     readonly revealLocation: boolean;
     private static readonly CONFIGS;
     private static readonly EXAMPLE_GRID;
@@ -15,10 +14,9 @@ export default class HiddenSymbol extends Symbol implements SymbolDisplayHandler
      *
      * @param x - The x-coordinate of the symbol.
      * @param y - The y-coordinate of the symbol.
-     * @param color - The target color of the cell.
      * @param revealLocation - Whether to reveal the location of the symbol.
      */
-    constructor(x: number, y: number, color: Color, revealLocation?: boolean);
+    constructor(x: number, y: number, revealLocation?: boolean);
     get id(): string;
     get explanation(): string;
     get configs(): readonly AnyConfig[] | null;
@@ -26,15 +24,13 @@ export default class HiddenSymbol extends Symbol implements SymbolDisplayHandler
     get necessaryForCompletion(): boolean;
     get visibleWhenSolving(): boolean;
     get sortOrder(): number;
-    validateSymbol(grid: GridData): State;
-    onSymbolDisplay(grid: GridData, symbol: Symbol, editing: boolean): boolean;
-    copyWith({ x, y, color, revealLocation, }: {
+    validateSymbol(grid: GridData, solution: GridData | null): State;
+    onSymbolDisplay(grid: GridData, solution: GridData | null, symbol: Symbol, editing: boolean): boolean;
+    copyWith({ x, y, revealLocation, }: {
         x?: number;
         y?: number;
-        color?: Color;
         revealLocation?: boolean;
     }): this;
-    withColor(color: Color): this;
     withRevealLocation(revealLocation: boolean): this;
 }
 export declare const instance: HiddenSymbol;

package/dist/data/symbols/hiddenSymbol.js

@@ -9,10 +9,9 @@ class HiddenSymbol extends Symbol {
      *
      * @param x - The x-coordinate of the symbol.
      * @param y - The y-coordinate of the symbol.
-     * @param color - The target color of the cell.
      * @param revealLocation - Whether to reveal the location of the symbol.
      */
-    constructor(x, y, color, revealLocation = false) {
+    constructor(x, y, revealLocation = false) {
         super(x, y);
         Object.defineProperty(this, "x", {
             enumerable: true,
@@ -26,19 +25,12 @@ class HiddenSymbol extends Symbol {
             writable: true,
             value: y
         });
-        Object.defineProperty(this, "color", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: color
-        });
         Object.defineProperty(this, "revealLocation", {
             enumerable: true,
             configurable: true,
             writable: true,
             value: revealLocation
         });
-        this.color = color;
         this.revealLocation = revealLocation;
     }
     get id() {
@@ -62,14 +54,20 @@ class HiddenSymbol extends Symbol {
     get sortOrder() {
         return 0;
     }
-    validateSymbol(grid) {
+    validateSymbol(grid, solution) {
         const thisX = Math.floor(this.x);
         const thisY = Math.floor(this.y);
-        return grid.getTile(thisX, thisY).color === this.color
-            ? State.Satisfied
-            : State.Incomplete;
+        const thisColor = grid.getTile(thisX, thisY).color;
+        if (solution) {
+            return thisColor === solution.getTile(thisX, thisY).color
+                ? State.Satisfied
+                : State.Incomplete;
+        }
+        else {
+            return thisColor !== Color.Gray ? State.Satisfied : State.Incomplete;
+        }
     }
-    onSymbolDisplay(grid, symbol, editing) {
+    onSymbolDisplay(grid, solution, symbol, editing) {
         if (editing)
             return true;
         const thisX = Math.floor(this.x);
@@ -78,17 +76,17 @@ class HiddenSymbol extends Symbol {
         const symY = Math.floor(symbol.y);
         if (thisX !== symX || thisY !== symY)
             return true;
-        const colorMatch = grid.getTile(thisX, thisY).color === this.color;
+        const thisColor = grid.getTile(thisX, thisY).color;
+        const colorMatch = solution
+            ? thisColor === solution.getTile(thisX, thisY).color
+            : thisColor !== Color.Gray;
         if (symbol.id === this.id) {
             return !colorMatch;
         }
         return colorMatch;
     }
-    copyWith({ x, y, color, revealLocation, }) {
-        return new HiddenSymbol(x ?? this.x, y ?? this.y, color ?? this.color, revealLocation ?? this.revealLocation);
-    }
-    withColor(color) {
-        return this.copyWith({ color });
+    copyWith({ x, y, revealLocation, }) {
+        return new HiddenSymbol(x ?? this.x, y ?? this.y, revealLocation ?? this.revealLocation);
     }
     withRevealLocation(revealLocation) {
         return this.copyWith({ revealLocation });
@@ -113,14 +111,6 @@ Object.defineProperty(HiddenSymbol, "CONFIGS", {
             description: 'Y',
             configurable: false,
         },
-        {
-            type: ConfigType.Color,
-            default: Color.Light,
-            field: 'color',
-            allowGray: true,
-            description: 'Show on color',
-            configurable: true,
-        },
         {
             type: ConfigType.Boolean,
             default: false,
@@ -138,4 +128,4 @@ Object.defineProperty(HiddenSymbol, "EXAMPLE_GRID", {
     ))
 });
 export default HiddenSymbol;
-export const instance = new HiddenSymbol(0, 0, Color.Light);
+export const instance = new HiddenSymbol(0, 0);

package/dist/data/symbols/symbol.d.ts

@@ -1,12 +1,13 @@
 import { GridResizeHandler } from '../events/onGridResize.js';
 import GridData from '../grid.js';
 import Instruction from '../instruction.js';
-import { State } from '../primitives.js';
+import { Mode, State } from '../primitives.js';
 export default abstract class Symbol extends Instruction implements GridResizeHandler {
     readonly x: number;
     readonly y: number;
     constructor(x: number, y: number);
-    abstract validateSymbol(grid: GridData): State;
+    abstract validateSymbol(grid: GridData, solution: GridData | null): State;
+    modeVariant(_mode: Mode): Symbol | null;
     onGridResize(_grid: GridData, mode: 'insert' | 'remove', direction: 'row' | 'column', index: number): this | null;
     /**
      * The step size for the x and y coordinates of the symbol.

package/dist/data/symbols/symbol.js

@@ -17,6 +17,9 @@ export default class Symbol extends Instruction {
         this.x = x;
         this.y = y;
     }
+    modeVariant(_mode) {
+        return this;
+    }
     onGridResize(_grid, mode, direction, index) {
         if (mode === 'insert') {
             return this.copyWith({

package/dist/data/validate.js

@@ -64,7 +64,7 @@ export default function validateGrid(grid, solution) {
     grid.symbols.forEach((symbolList, id) => symbolStates.set(id, symbolList.map(s => {
         if (s.validateWithSolution)
             requireSolution = true;
-        return applySymbolOverrides(grid, grid.rules, s, g => s.validateSymbol(g));
+        return applySymbolOverrides(grid, grid.rules, s, g => s.validateSymbol(g, solution));
     })));
     // apply the result of symbol overrides to the rules that provided them
     symbolOverrideStates.forEach((states, i) => {

package/dist/index.d.ts

@@ -5,7 +5,7 @@ import { isEventHandler } from './data/events/eventHelper.js';
 import { handlesFinalValidation } from './data/events/onFinalValidation.js';
 import { handlesGridChange } from './data/events/onGridChange.js';
 import { handlesGridResize } from './data/events/onGridResize.js';
-import { handlesSetGrid } from './data/events/onSetGrid.js';
+import { handlesSetGrid, invokeSetGrid } from './data/events/onSetGrid.js';
 import { handlesSymbolDisplay } from './data/events/onSymbolDisplay.js';
 import { handlesSymbolValidation } from './data/events/onSymbolValidation.js';
 import GridData, { NEIGHBOR_OFFSETS } from './data/grid.js';
@@ -98,4 +98,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, 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, 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, };

package/dist/index.js

@@ -8,7 +8,7 @@ import { isEventHandler } from './data/events/eventHelper.js';
 import { handlesFinalValidation } from './data/events/onFinalValidation.js';
 import { handlesGridChange } from './data/events/onGridChange.js';
 import { handlesGridResize } from './data/events/onGridResize.js';
-import { handlesSetGrid } from './data/events/onSetGrid.js';
+import { handlesSetGrid, invokeSetGrid } from './data/events/onSetGrid.js';
 import { handlesSymbolDisplay } from './data/events/onSymbolDisplay.js';
 import { handlesSymbolValidation } from './data/events/onSymbolValidation.js';
 import GridData, { NEIGHBOR_OFFSETS } from './data/grid.js';
@@ -101,4 +101,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, 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, 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, };

package/package.json

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