@logic-pad/core 0.12.6 → 0.13.0

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

@@ -1987,6 +1987,11 @@ declare global {
     decompress(input: string): Promise<string>;
   }
   export declare const Compressor: MasterCompressor;
+  export declare class ChecksumCompressor extends CompressorBase {
+    get id(): string;
+    compress(input: string): Promise<string>;
+    decompress(_input: string): Promise<string>;
+  }
   export declare abstract class StreamCompressor extends CompressorBase {
     protected abstract get algorithm(): CompressionFormat;
     compress(input: string): Promise<string>;
@@ -2029,8 +2034,22 @@ declare global {
     abstract stringifyPuzzle(puzzle: Puzzle): string;
     abstract parsePuzzle(input: string): Puzzle;
   }
+  export declare const OFFSETS: {
+    x: number;
+    y: number;
+  }[];
+  export declare const orientationChars: {
+    up: string;
+    'up-right': string;
+    right: string;
+    'down-right': string;
+    down: string;
+    'down-left': string;
+    left: string;
+    'up-left': string;
+  };
   export declare class SerializerV0 extends SerializerBase {
-    readonly version = 0;
+    readonly version: number;
     stringifyTile(tile: TileData): string;
     parseTile(str: string): TileData;
     stringifyControlLine(line: ControlLine): string;
@@ -2062,6 +2081,29 @@ declare global {
     stringifyPuzzle(puzzle: Puzzle): string;
     parsePuzzle(input: string): Puzzle;
   }
+  export declare class SerializerChecksum extends SerializerV0 {
+    readonly version: number;
+    parseTile(_str: string): TileData;
+    stringifyControlLine(line: ControlLine): string;
+    parseControlLine(_str: string): ControlLine;
+    parseConfig(
+      _configs: readonly AnyConfig[],
+      _entry: string
+    ): [string, unknown];
+    parseRule(_str: string): Rule;
+    parseSymbol(_str: string): Symbol$1;
+    parseConnections(_input: string): GridConnections;
+    stringifyZones(zones: GridZones): string;
+    parseZones(_input: string): GridZones;
+    parseTiles(_input: string): TileData[][];
+    stringifyRules(rules: readonly Rule[]): string;
+    parseRules(_input: string): Rule[];
+    stringifySymbols(symbols: ReadonlyMap<string, readonly Symbol$1[]>): string;
+    parseSymbols(_input: string): Map<string, Symbol$1[]>;
+    parseGrid(_input: string): GridData;
+    parseGridWithSolution(_input: string): PuzzleData;
+    parsePuzzle(_input: string): Puzzle;
+  }
   /**
    * Base class that all solvers must extend.
    */

package/dist/data/serializer/compressor/checksumCompressor.d.ts

@@ -0,0 +1,6 @@
+import CompressorBase from './compressorBase.js';
+export default class ChecksumCompressor extends CompressorBase {
+    get id(): string;
+    compress(input: string): Promise<string>;
+    decompress(_input: string): Promise<string>;
+}

package/dist/data/serializer/compressor/checksumCompressor.js

@@ -0,0 +1,21 @@
+import SerializerChecksum from '../serializer_checksum.js';
+import CompressorBase from './compressorBase.js';
+const checksumSerializer = new SerializerChecksum();
+const encoder = new TextEncoder();
+export default class ChecksumCompressor extends CompressorBase {
+    get id() {
+        return `cs${checksumSerializer.version}`;
+    }
+    async compress(input) {
+        const data = encoder.encode(input);
+        const hashBuffer = await crypto.subtle.digest('SHA-256', data);
+        const hashArray = Array.from(new Uint8Array(hashBuffer));
+        const hashHex = hashArray
+            .map(b => b.toString(16).padStart(2, '0'))
+            .join('');
+        return hashHex;
+    }
+    decompress(_input) {
+        throw new Error('Checksum decompression is not supported');
+    }
+}

package/dist/data/serializer/serializer_checksum.d.ts

@@ -0,0 +1,30 @@
+import GridData from '../grid.js';
+import GridConnections from '../gridConnections.js';
+import Rule from '../rules/rule.js';
+import TileData from '../tile.js';
+import Symbol from '../symbols/symbol.js';
+import { AnyConfig } from '../config.js';
+import { Puzzle, PuzzleData } from '../puzzle.js';
+import { ControlLine } from '../rules/musicControlLine.js';
+import GridZones from '../gridZones.js';
+import SerializerV0 from './serializer_v0.js';
+export default class SerializerChecksum extends SerializerV0 {
+    readonly version: number;
+    parseTile(_str: string): TileData;
+    stringifyControlLine(line: ControlLine): string;
+    parseControlLine(_str: string): ControlLine;
+    parseConfig(_configs: readonly AnyConfig[], _entry: string): [string, unknown];
+    parseRule(_str: string): Rule;
+    parseSymbol(_str: string): Symbol;
+    parseConnections(_input: string): GridConnections;
+    stringifyZones(zones: GridZones): string;
+    parseZones(_input: string): GridZones;
+    parseTiles(_input: string): TileData[][];
+    stringifyRules(rules: readonly Rule[]): string;
+    parseRules(_input: string): Rule[];
+    stringifySymbols(symbols: ReadonlyMap<string, readonly Symbol[]>): string;
+    parseSymbols(_input: string): Map<string, Symbol[]>;
+    parseGrid(_input: string): GridData;
+    parseGridWithSolution(_input: string): PuzzleData;
+    parsePuzzle(_input: string): Puzzle;
+}

package/dist/data/serializer/serializer_checksum.js

@@ -0,0 +1,76 @@
+import SerializerV0 from './serializer_v0.js';
+export default class SerializerChecksum extends SerializerV0 {
+    constructor() {
+        super(...arguments);
+        Object.defineProperty(this, "version", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: 1
+        });
+    }
+    parseTile(_str) {
+        throw new Error('Checksum serializer does not support parsing');
+    }
+    stringifyControlLine(line) {
+        const result = [];
+        result.push(`c${line.column}`);
+        result.push(`r${line.rows.map(row => `n${row.note ?? ''}`).join(',')}`);
+        return result.join('|');
+    }
+    parseControlLine(_str) {
+        throw new Error('Checksum serializer does not support parsing');
+    }
+    parseConfig(_configs, _entry) {
+        throw new Error('Checksum serializer does not support parsing');
+    }
+    parseRule(_str) {
+        throw new Error('Checksum serializer does not support parsing');
+    }
+    parseSymbol(_str) {
+        throw new Error('Checksum serializer does not support parsing');
+    }
+    parseConnections(_input) {
+        throw new Error('Checksum serializer does not support parsing');
+    }
+    stringifyZones(zones) {
+        return `Z${zones.edges
+            .map(edge => `${edge.x1}_${edge.y1}_${edge.x2 - edge.x1}_${edge.y2 - edge.y1}`)
+            .sort()
+            .join(':')}`;
+    }
+    parseZones(_input) {
+        throw new Error('Checksum serializer does not support parsing');
+    }
+    parseTiles(_input) {
+        throw new Error('Checksum serializer does not support parsing');
+    }
+    stringifyRules(rules) {
+        return `R${rules
+            .map(rule => this.stringifyRule(rule))
+            .sort()
+            .join(':')}`;
+    }
+    parseRules(_input) {
+        throw new Error('Checksum serializer does not support parsing');
+    }
+    stringifySymbols(symbols) {
+        return `S${Array.from(symbols.values())
+            .flat()
+            .map(symbol => this.stringifySymbol(symbol))
+            .sort()
+            .join(':')}`;
+    }
+    parseSymbols(_input) {
+        throw new Error('Checksum serializer does not support parsing');
+    }
+    parseGrid(_input) {
+        throw new Error('Checksum serializer does not support parsing');
+    }
+    parseGridWithSolution(_input) {
+        throw new Error('Checksum serializer does not support parsing');
+    }
+    parsePuzzle(_input) {
+        throw new Error('Checksum serializer does not support parsing');
+    }
+}

package/dist/data/serializer/serializer_v0.d.ts

@@ -9,8 +9,22 @@ import SerializerBase from './serializerBase.js';
 import { Puzzle, PuzzleData } from '../puzzle.js';
 import { ControlLine } from '../rules/musicControlLine.js';
 import GridZones from '../gridZones.js';
+export declare const OFFSETS: {
+    x: number;
+    y: number;
+}[];
+export declare const orientationChars: {
+    up: string;
+    "up-right": string;
+    right: string;
+    "down-right": string;
+    down: string;
+    "down-left": string;
+    left: string;
+    "up-left": string;
+};
 export default class SerializerV0 extends SerializerBase {
-    readonly version = 0;
+    readonly version: number;
     stringifyTile(tile: TileData): string;
     parseTile(str: string): TileData;
     stringifyControlLine(line: ControlLine): string;

package/dist/data/serializer/serializer_v0.js

@@ -9,13 +9,13 @@ import { allSymbols } from '../symbols/index.js';
 import SerializerBase from './serializerBase.js';
 import { ControlLine, Row } from '../rules/musicControlLine.js';
 import GridZones from '../gridZones.js';
-const OFFSETS = [
+export const OFFSETS = [
     { x: 0, y: -1 },
     { x: -1, y: 0 },
     { x: 1, y: 0 },
     { x: 0, y: 1 },
 ];
-const orientationChars = {
+export const orientationChars = {
     [Orientation.Up]: 'u',
     [Orientation.UpRight]: 'x',
     [Orientation.Right]: 'r',

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

@@ -89,8 +89,10 @@ class AutoSolver extends Solver {
         for await (const updatedGrid of solver.solve(progress, abortSignal)) {
             if (abortSignal?.aborted)
                 return;
-            if (!updatedGrid)
-                return updatedGrid;
+            if (!updatedGrid) {
+                yield updatedGrid;
+                return;
+            }
             yield this.fillSolution(grid, updatedGrid);
         }
     }

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

@@ -44,6 +44,10 @@ onmessage = e => {
     const puzzleData = gridToJson(grid);
     const solverResult = solveLogicPad(puzzleData, isUnderclued);
     postSolution(grid, solverResult);
+    if (isUnderclued) {
+        postMessage(null);
+        return;
+    }
     // Make use of the underclued mode to determine solution uniqueness
     if (solverResult !== null && !('error' in solverResult) && !isUnderclued) {
         const undercluedResult = solveLogicPad(puzzleData, true);

package/dist/index.d.ts

@@ -40,12 +40,14 @@ import UniqueShapeRule from './data/rules/uniqueShapeRule.js';
 import WrapAroundRule from './data/rules/wrapAroundRule.js';
 import { Serializer } from './data/serializer/allSerializers.js';
 import { Compressor } from './data/serializer/compressor/allCompressors.js';
+import ChecksumCompressor from './data/serializer/compressor/checksumCompressor.js';
 import CompressorBase from './data/serializer/compressor/compressorBase.js';
 import DeflateCompressor from './data/serializer/compressor/deflateCompressor.js';
 import GzipCompressor from './data/serializer/compressor/gzipCompressor.js';
 import StreamCompressor from './data/serializer/compressor/streamCompressor.js';
 import SerializerBase from './data/serializer/serializerBase.js';
-import SerializerV0 from './data/serializer/serializer_v0.js';
+import SerializerChecksum from './data/serializer/serializer_checksum.js';
+import SerializerV0, { OFFSETS, orientationChars } from './data/serializer/serializer_v0.js';
 import { getShapeVariants, normalizeShape, positionsToShape, sanitizePatternGrid, shapeEquals, tilesToShape } from './data/shapes.js';
 import { allSolvers } from './data/solver/allSolvers.js';
 import AutoSolver from './data/solver/auto/autoSolver.js';
@@ -108,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, PuzzleType, State, WRAPPINGS, Wrapping, directionToggle, orientationToggle, MetadataSchema, PuzzleSchema, getPuzzleTypes, puzzleEquals, validatePuzzleChecklist, BanPatternRule, CellCountPerZoneRule, CellCountRule, CompletePatternRule, ConnectAllRule, ContainsShapeRule, 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, sanitizePatternGrid, 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, };
+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, PuzzleType, State, WRAPPINGS, Wrapping, directionToggle, orientationToggle, MetadataSchema, PuzzleSchema, getPuzzleTypes, puzzleEquals, validatePuzzleChecklist, BanPatternRule, CellCountPerZoneRule, CellCountRule, CompletePatternRule, ConnectAllRule, ContainsShapeRule, CustomRule, ForesightRule, allRules, LyingSymbolRule, ControlLine, Row, MusicGridRule, MysteryRule, OffByXRule, PerfectionRule, RegionAreaRule, RegionShapeRule, Rule, SameShapeRule, SymbolsPerRegionRule, UndercluedRule, UniqueShapeRule, WrapAroundRule, Serializer, Compressor, ChecksumCompressor, CompressorBase, DeflateCompressor, GzipCompressor, StreamCompressor, SerializerBase, SerializerChecksum, SerializerV0, OFFSETS, orientationChars, getShapeVariants, normalizeShape, positionsToShape, sanitizePatternGrid, 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

@@ -43,12 +43,14 @@ import UniqueShapeRule from './data/rules/uniqueShapeRule.js';
 import WrapAroundRule from './data/rules/wrapAroundRule.js';
 import { Serializer } from './data/serializer/allSerializers.js';
 import { Compressor } from './data/serializer/compressor/allCompressors.js';
+import ChecksumCompressor from './data/serializer/compressor/checksumCompressor.js';
 import CompressorBase from './data/serializer/compressor/compressorBase.js';
 import DeflateCompressor from './data/serializer/compressor/deflateCompressor.js';
 import GzipCompressor from './data/serializer/compressor/gzipCompressor.js';
 import StreamCompressor from './data/serializer/compressor/streamCompressor.js';
 import SerializerBase from './data/serializer/serializerBase.js';
-import SerializerV0 from './data/serializer/serializer_v0.js';
+import SerializerChecksum from './data/serializer/serializer_checksum.js';
+import SerializerV0, { OFFSETS, orientationChars } from './data/serializer/serializer_v0.js';
 import { getShapeVariants, normalizeShape, positionsToShape, sanitizePatternGrid, shapeEquals, tilesToShape } from './data/shapes.js';
 import { allSolvers } from './data/solver/allSolvers.js';
 import AutoSolver from './data/solver/auto/autoSolver.js';
@@ -111,4 +113,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, PuzzleType, State, WRAPPINGS, Wrapping, directionToggle, orientationToggle, MetadataSchema, PuzzleSchema, getPuzzleTypes, puzzleEquals, validatePuzzleChecklist, BanPatternRule, CellCountPerZoneRule, CellCountRule, CompletePatternRule, ConnectAllRule, ContainsShapeRule, 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, sanitizePatternGrid, 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, };
+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, PuzzleType, State, WRAPPINGS, Wrapping, directionToggle, orientationToggle, MetadataSchema, PuzzleSchema, getPuzzleTypes, puzzleEquals, validatePuzzleChecklist, BanPatternRule, CellCountPerZoneRule, CellCountRule, CompletePatternRule, ConnectAllRule, ContainsShapeRule, CustomRule, ForesightRule, allRules, LyingSymbolRule, ControlLine, Row, MusicGridRule, MysteryRule, OffByXRule, PerfectionRule, RegionAreaRule, RegionShapeRule, Rule, SameShapeRule, SymbolsPerRegionRule, UndercluedRule, UniqueShapeRule, WrapAroundRule, Serializer, Compressor, ChecksumCompressor, CompressorBase, DeflateCompressor, GzipCompressor, StreamCompressor, SerializerBase, SerializerChecksum, SerializerV0, OFFSETS, orientationChars, getShapeVariants, normalizeShape, positionsToShape, sanitizePatternGrid, 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.12.6",
+  "version": "0.13.0",
   "type": "module",
   "files": [
     "dist",