@logic-pad/core 0.25.3 → 0.26.1

package/dist/src/data/solver/solver.js

@@ -1,6 +1,7 @@
 import { CachedAccess } from '../dataHelper.js';
 import { allRules } from '../rules/index.js';
 import { allSymbols } from '../symbols/index.js';
+import { instance as undercluedInstance } from '../rules/undercluedRule.js';
 /**
  * Base class that all solvers must extend.
  */
@@ -24,14 +25,14 @@ export default class Solver {
      *
      * @param instructionId The unique identifier of the instruction.
      */
-    isInstructionSupported(instructionId) {
-        const symbol = allSymbols.get(instructionId);
+    isInstructionSupported(_grid, instruction) {
+        const symbol = allSymbols.get(instruction.id);
         if (symbol) {
             return !symbol.validateWithSolution;
         }
-        const rule = allRules.get(instructionId);
+        const rule = allRules.get(instruction.id);
         if (rule) {
-            return !rule.validateWithSolution;
+            return !rule.validateWithSolution || rule.id === undercluedInstance.id;
         }
         return false;
     }
@@ -46,11 +47,11 @@ export default class Solver {
      * @returns `true` if the grid is supported, or `false` otherwise.
      */
     isGridSupported(grid) {
-        if (grid.rules.some(rule => rule.necessaryForCompletion && !this.isInstructionSupported(rule.id))) {
+        if (grid.rules.some(rule => rule.necessaryForCompletion &&
+            !this.isInstructionSupported(grid, rule))) {
             return false;
         }
-        if ([...grid.symbols.keys()].some(id => grid.symbols.get(id)?.some(s => s.necessaryForCompletion) &&
-            !this.isInstructionSupported(id))) {
+        if ([...grid.symbols.values()].some(symbols => symbols.some(s => s.necessaryForCompletion && !this.isInstructionSupported(grid, s)))) {
             return false;
         }
         return true;

package/dist/src/data/solver/universal/universalSolver.d.ts

@@ -4,5 +4,4 @@ export default class UniversalSolver extends EventIteratingSolver {
     readonly author = "romain22222, Lysine";
     readonly description = "A backtracking solver that supports all rules and symbols (including underclued) but is less optimized.";
     protected createWorker(): Worker;
-    isInstructionSupported(instructionId: string): boolean;
 }

package/dist/src/data/solver/universal/universalSolver.js

@@ -1,4 +1,3 @@
-import { instance as undercluedInstance } from '../../rules/undercluedRule.js';
 import EventIteratingSolver from '../eventIteratingSolver.js';
 // eslint-disable-next-line @typescript-eslint/no-unused-expressions
 ('vite-apply-code-mod');
@@ -11,10 +10,4 @@ export default class UniversalSolver extends EventIteratingSolver {
             type: 'module',
         });
     }
-    isInstructionSupported(instructionId) {
-        if (super.isInstructionSupported(instructionId)) {
-            return true;
-        }
-        return instructionId === undercluedInstance.id;
-    }
 }

package/dist/src/data/symbols/areaNumberSymbol.d.ts

@@ -20,7 +20,7 @@ export default class AreaNumberSymbol extends NumberSymbol {
     countTiles(grid: GridData): {
         completed: number;
         possible: number;
-    };
+    } | null;
     copyWith({ x, y, number, }: {
         x?: number;
         y?: number;

package/dist/src/data/symbols/areaNumberSymbol.js

@@ -53,6 +53,8 @@ export default class AreaNumberSymbol extends NumberSymbol {
         return AreaNumberSymbol.EXAMPLE_GRID;
     }
     countTiles(grid) {
+        if (!this.validateSubtilePlacement(grid))
+            return null;
         const thisX = Math.floor(this.x);
         const thisY = Math.floor(this.y);
         const color = grid.getTile(thisX, thisY).color;

package/dist/src/data/symbols/everyLetterSymbol.js

@@ -64,6 +64,8 @@ export default class EveryLetterSymbol extends Symbol {
         return EveryLetterSymbol.EXAMPLE_GRID;
     }
     validateSymbol(grid) {
+        if (!this.validateSubtilePlacement(grid))
+            return State.Error;
         const uniqueLetters = new Set(grid.symbols.get(this.id)?.map(s => s.letter));
         if (uniqueLetters.size === 0) {
             return State.Satisfied;

package/dist/src/data/symbols/houseSymbol.d.ts

@@ -23,7 +23,7 @@ export default class HouseSymbol extends NumberSymbol {
     countTiles(grid: GridData): {
         completed: number;
         possible: number;
-    };
+    } | null;
     copyWith({ x, y, number, }: {
         x?: number;
         y?: number;

package/dist/src/data/symbols/houseSymbol.js

@@ -65,6 +65,8 @@ export default class HouseSymbol extends NumberSymbol {
         return HouseSymbol.EXAMPLE_GRID;
     }
     countTiles(grid) {
+        if (!this.validateSubtilePlacement(grid))
+            return null;
         const thisX = Math.floor(this.x);
         const thisY = Math.floor(this.y);
         const visited = array(grid.width, grid.height, () => false);

package/dist/src/data/symbols/letterSymbol.js

@@ -67,6 +67,8 @@ export default class LetterSymbol extends Symbol {
         return LetterSymbol.EXAMPLE_GRID;
     }
     validateSymbol(grid) {
+        if (!this.validateSubtilePlacement(grid))
+            return State.Error;
         const thisX = Math.floor(this.x);
         const thisY = Math.floor(this.y);
         let complete = true;

package/dist/src/data/symbols/numberSymbol.d.ts

@@ -12,7 +12,7 @@ export default abstract class NumberSymbol extends Symbol {
     abstract countTiles(grid: GridData): {
         completed: number;
         possible: number;
-    };
+    } | null;
     validateSymbol(grid: GridData): State;
     withNumber(number: number): this;
 }

package/dist/src/data/symbols/numberSymbol.js

@@ -15,7 +15,10 @@ export default class NumberSymbol extends Symbol {
         this.number = number;
     }
     validateSymbol(grid) {
-        const { completed, possible } = this.countTiles(grid);
+        const countResult = this.countTiles(grid);
+        if (countResult === null)
+            return State.Error;
+        const { completed, possible } = countResult;
         if (completed > this.number || possible < this.number)
             return State.Error;
         if (completed === this.number && possible === this.number)

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

@@ -20,5 +20,10 @@ export default abstract class Symbol extends Instruction implements GridResizeHa
     withX(x: number): this;
     withY(y: number): this;
     withPosition(x: number, y: number): this;
+    /**
+     * For symbols that can be placed between tiles, this method implements the default validation logic,
+     * which requires all tiles touching the symbol to be either gray or of the same color.
+     */
+    protected validateSubtilePlacement(grid: GridData): boolean;
 }
 export declare const instance: undefined;

package/dist/src/data/symbols/symbol.js

@@ -1,4 +1,5 @@
 import Instruction from '../instruction.js';
+import { Color } from '../primitives.js';
 export default class Symbol extends Instruction {
     x;
     y;
@@ -51,5 +52,36 @@ export default class Symbol extends Instruction {
     withPosition(x, y) {
         return this.copyWith({ x, y });
     }
+    /**
+     * For symbols that can be placed between tiles, this method implements the default validation logic,
+     * which requires all tiles touching the symbol to be either gray or of the same color.
+     */
+    validateSubtilePlacement(grid) {
+        if (this.placementStep >= 1)
+            return true;
+        const minX = Math.floor(this.x);
+        const minY = Math.floor(this.y);
+        if (minX === this.x && minY === this.y)
+            return true;
+        const maxX = Math.ceil(this.x);
+        const maxY = Math.ceil(this.y);
+        let color = Color.Gray;
+        for (let i = 0; i < 4; i++) {
+            const x = i % 2 === 0 ? minX : maxX;
+            const y = i < 2 ? minY : maxY;
+            const tile = grid.getTile(x, y);
+            if (!tile.exists)
+                return false;
+            if (tile.color !== Color.Gray) {
+                if (color === Color.Gray) {
+                    color = tile.color;
+                }
+                else if (color !== tile.color) {
+                    return false;
+                }
+            }
+        }
+        return true;
+    }
 }
 export const instance = undefined;

package/dist/src/data/symbols/symbols.gen.d.ts

@@ -11,4 +11,5 @@ export { instance as LetterSymbol } from './letterSymbol.js';
 export { instance as LotusSymbol } from './lotusSymbol.js';
 export { instance as MinesweeperSymbol } from './minesweeperSymbol.js';
 export { instance as MyopiaSymbol } from './myopiaSymbol.js';
+export { instance as UnsupportedSymbol } from './unsupportedSymbol.js';
 export { instance as ViewpointSymbol } from './viewpointSymbol.js';

package/dist/src/data/symbols/symbols.gen.js

@@ -15,4 +15,5 @@ export { instance as LetterSymbol } from './letterSymbol.js';
 export { instance as LotusSymbol } from './lotusSymbol.js';
 export { instance as MinesweeperSymbol } from './minesweeperSymbol.js';
 export { instance as MyopiaSymbol } from './myopiaSymbol.js';
+export { instance as UnsupportedSymbol } from './unsupportedSymbol.js';
 export { instance as ViewpointSymbol } from './viewpointSymbol.js';

package/dist/src/data/symbols/unsupportedSymbol.d.ts

@@ -0,0 +1,23 @@
+import Symbol from './symbol.js';
+import { AnyConfig } from '../config.js';
+import GridData from '../grid.js';
+import { State } from '../primitives.js';
+/**
+ * A marker for symbols not supported by the current solver.
+ * Solvers should count these symbols in the symbols per region rule but otherwise ignore them.
+ */
+export default class UnsupportedSymbol extends Symbol {
+    readonly title = "Unsupported Symbol";
+    private static readonly CONFIGS;
+    private static readonly EXAMPLE_GRID;
+    get id(): string;
+    get explanation(): string;
+    get configs(): readonly AnyConfig[] | null;
+    createExampleGrid(): GridData;
+    validateSymbol(_grid: GridData, _solution: GridData | null): State;
+    copyWith({ x, y }: {
+        x?: number;
+        y?: number;
+    }): this;
+}
+export declare const instance: UnsupportedSymbol;

package/dist/src/data/symbols/unsupportedSymbol.js

@@ -0,0 +1,47 @@
+import Symbol from './symbol.js';
+import { ConfigType } from '../config.js';
+import GridData from '../grid.js';
+import { State } from '../primitives.js';
+/**
+ * A marker for symbols not supported by the current solver.
+ * Solvers should count these symbols in the symbols per region rule but otherwise ignore them.
+ */
+export default class UnsupportedSymbol extends Symbol {
+    title = 'Unsupported Symbol';
+    static CONFIGS = Object.freeze([
+        {
+            type: ConfigType.Number,
+            default: 0,
+            field: 'x',
+            description: 'X',
+            configurable: false,
+        },
+        {
+            type: ConfigType.Number,
+            default: 0,
+            field: 'y',
+            description: 'Y',
+            configurable: false,
+        },
+    ]);
+    static EXAMPLE_GRID = Object.freeze(GridData.create(['.']));
+    get id() {
+        return `unsupported`;
+    }
+    get explanation() {
+        return 'Unsupported symbol';
+    }
+    get configs() {
+        return UnsupportedSymbol.CONFIGS;
+    }
+    createExampleGrid() {
+        return UnsupportedSymbol.EXAMPLE_GRID;
+    }
+    validateSymbol(_grid, _solution) {
+        return State.Satisfied;
+    }
+    copyWith({ x, y }) {
+        return new UnsupportedSymbol(x ?? this.x, y ?? this.y);
+    }
+}
+export const instance = new UnsupportedSymbol(0, 0);

package/dist/src/index.d.ts

@@ -58,7 +58,7 @@ import { getShapeVariants, normalizeShape, positionsToShape, sanitizePatternGrid
 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 BTModule, { BTGridData, BTTile, IntArray2D, checkSubtilePlacement, colorToBTTile, createOneTileResult, getOppositeColor } from './data/solver/backtrack/data.js';
 import BanPatternBTModule from './data/solver/backtrack/rules/banPattern.js';
 import CellCountBTModule from './data/solver/backtrack/rules/cellCount.js';
 import ConnectAllBTModule from './data/solver/backtrack/rules/connectAll.js';
@@ -82,19 +82,6 @@ import { gridToJson } from './data/solver/cspuz/jsonify.js';
 import EventIteratingSolver from './data/solver/eventIteratingSolver.js';
 import Solver from './data/solver/solver.js';
 import UniversalSolver from './data/solver/universal/universalSolver.js';
-import AreaNumberModule from './data/solver/z3/modules/areaNumberModule.js';
-import CellCountModule from './data/solver/z3/modules/cellCountModule.js';
-import ConnectAllModule from './data/solver/z3/modules/connectAllModule.js';
-import DartModule from './data/solver/z3/modules/dartModule.js';
-import { allZ3Modules } from './data/solver/z3/modules/index.js';
-import LetterModule from './data/solver/z3/modules/letterModule.js';
-import MyopiaModule from './data/solver/z3/modules/myopiaModule.js';
-import RegionAreaModule from './data/solver/z3/modules/regionAreaModule.js';
-import ViewpointModule from './data/solver/z3/modules/viewpointModule.js';
-import Z3Module from './data/solver/z3/modules/z3Module.js';
-import { convertDirection } from './data/solver/z3/utils.js';
-import Z3Solver from './data/solver/z3/z3Solver.js';
-import Z3SolverContext from './data/solver/z3/z3SolverContext.js';
 import AreaNumberSymbol from './data/symbols/areaNumberSymbol.js';
 import CustomIconSymbol from './data/symbols/customIconSymbol.js';
 import CustomSymbol from './data/symbols/customSymbol.js';
@@ -113,9 +100,10 @@ import MinesweeperSymbol from './data/symbols/minesweeperSymbol.js';
 import MyopiaSymbol from './data/symbols/myopiaSymbol.js';
 import NumberSymbol from './data/symbols/numberSymbol.js';
 import Symbol from './data/symbols/symbol.js';
+import UnsupportedSymbol from './data/symbols/unsupportedSymbol.js';
 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';
 import { GridValidator } from './data/validateAsync.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, handlesSymbolMerge, handlesSymbolValidation, GridData, NEIGHBOR_OFFSETS, NEIGHBOR_OFFSETS_8, GridConnections, GridZones, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, DRUM_SAMPLES, Direction, INSTRUMENTS, Instrument, MajorRule, Mode, ORIENTATIONS, Orientation, PuzzleType, State, WRAPPINGS, Wrapping, directionToggle, isDrumSample, orientationToggle, MetadataSchema, PuzzleSchema, getPuzzleTypes, puzzleEquals, validatePuzzleChecklist, BanPatternRule, CellCountPerZoneRule, CellCountRule, CompletePatternRule, ConnectAllRule, ConnectZonesRule, ContainsShapeRule, CustomRule, DifferentCountPerZoneRule, ExactCountPerZoneRule, ForesightRule, allRules, LyingSymbolRule, ControlLine, Row, MusicGridRule, MysteryRule, NoLoopsRule, OffByXRule, PerfectionRule, RegionAreaRule, RegionShapeRule, Rule, SameCountPerZoneRule, 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, EveryLetterSymbol, FocusSymbol, GalaxySymbol, HiddenSymbol, HouseSymbol, allSymbols, LetterSymbol, LotusSymbol, MinesweeperSymbol, MyopiaSymbol, NumberSymbol, Symbol, ViewpointSymbol, TileData, TileConnections, validateGrid, aggregateState, applyFinalOverrides, GridValidator, };
+export { ConfigType, configEquals, Configurable, CachedAccess, allEqual, array, directionToRotation, escape, isSameEdge, maxBy, minBy, move, orientationToRotation, resize, unescape, isEventHandler, handlesFinalValidation, handlesGetTile, handlesGridChange, handlesGridResize, handlesSetGrid, invokeSetGrid, handlesSymbolDisplay, handlesSymbolMerge, handlesSymbolValidation, GridData, NEIGHBOR_OFFSETS, NEIGHBOR_OFFSETS_8, GridConnections, GridZones, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, DRUM_SAMPLES, Direction, INSTRUMENTS, Instrument, MajorRule, Mode, ORIENTATIONS, Orientation, PuzzleType, State, WRAPPINGS, Wrapping, directionToggle, isDrumSample, orientationToggle, MetadataSchema, PuzzleSchema, getPuzzleTypes, puzzleEquals, validatePuzzleChecklist, BanPatternRule, CellCountPerZoneRule, CellCountRule, CompletePatternRule, ConnectAllRule, ConnectZonesRule, ContainsShapeRule, CustomRule, DifferentCountPerZoneRule, ExactCountPerZoneRule, ForesightRule, allRules, LyingSymbolRule, ControlLine, Row, MusicGridRule, MysteryRule, NoLoopsRule, OffByXRule, PerfectionRule, RegionAreaRule, RegionShapeRule, Rule, SameCountPerZoneRule, 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, checkSubtilePlacement, 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, AreaNumberSymbol, CustomIconSymbol, CustomSymbol, CustomTextSymbol, DartSymbol, DirectionLinkerSymbol, EveryLetterSymbol, FocusSymbol, GalaxySymbol, HiddenSymbol, HouseSymbol, allSymbols, LetterSymbol, LotusSymbol, MinesweeperSymbol, MyopiaSymbol, NumberSymbol, Symbol, UnsupportedSymbol, ViewpointSymbol, TileData, TileConnections, validateGrid, aggregateState, applyFinalOverrides, GridValidator, };

package/dist/src/index.js

@@ -61,7 +61,7 @@ import { getShapeVariants, normalizeShape, positionsToShape, sanitizePatternGrid
 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 BTModule, { BTGridData, BTTile, IntArray2D, checkSubtilePlacement, colorToBTTile, createOneTileResult, getOppositeColor } from './data/solver/backtrack/data.js';
 import BanPatternBTModule from './data/solver/backtrack/rules/banPattern.js';
 import CellCountBTModule from './data/solver/backtrack/rules/cellCount.js';
 import ConnectAllBTModule from './data/solver/backtrack/rules/connectAll.js';
@@ -85,19 +85,6 @@ import { gridToJson } from './data/solver/cspuz/jsonify.js';
 import EventIteratingSolver from './data/solver/eventIteratingSolver.js';
 import Solver from './data/solver/solver.js';
 import UniversalSolver from './data/solver/universal/universalSolver.js';
-import AreaNumberModule from './data/solver/z3/modules/areaNumberModule.js';
-import CellCountModule from './data/solver/z3/modules/cellCountModule.js';
-import ConnectAllModule from './data/solver/z3/modules/connectAllModule.js';
-import DartModule from './data/solver/z3/modules/dartModule.js';
-import { allZ3Modules } from './data/solver/z3/modules/index.js';
-import LetterModule from './data/solver/z3/modules/letterModule.js';
-import MyopiaModule from './data/solver/z3/modules/myopiaModule.js';
-import RegionAreaModule from './data/solver/z3/modules/regionAreaModule.js';
-import ViewpointModule from './data/solver/z3/modules/viewpointModule.js';
-import Z3Module from './data/solver/z3/modules/z3Module.js';
-import { convertDirection } from './data/solver/z3/utils.js';
-import Z3Solver from './data/solver/z3/z3Solver.js';
-import Z3SolverContext from './data/solver/z3/z3SolverContext.js';
 import AreaNumberSymbol from './data/symbols/areaNumberSymbol.js';
 import CustomIconSymbol from './data/symbols/customIconSymbol.js';
 import CustomSymbol from './data/symbols/customSymbol.js';
@@ -116,9 +103,10 @@ import MinesweeperSymbol from './data/symbols/minesweeperSymbol.js';
 import MyopiaSymbol from './data/symbols/myopiaSymbol.js';
 import NumberSymbol from './data/symbols/numberSymbol.js';
 import Symbol from './data/symbols/symbol.js';
+import UnsupportedSymbol from './data/symbols/unsupportedSymbol.js';
 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';
 import { GridValidator } from './data/validateAsync.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, handlesSymbolMerge, handlesSymbolValidation, GridData, NEIGHBOR_OFFSETS, NEIGHBOR_OFFSETS_8, GridConnections, GridZones, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, DRUM_SAMPLES, Direction, INSTRUMENTS, Instrument, MajorRule, Mode, ORIENTATIONS, Orientation, PuzzleType, State, WRAPPINGS, Wrapping, directionToggle, isDrumSample, orientationToggle, MetadataSchema, PuzzleSchema, getPuzzleTypes, puzzleEquals, validatePuzzleChecklist, BanPatternRule, CellCountPerZoneRule, CellCountRule, CompletePatternRule, ConnectAllRule, ConnectZonesRule, ContainsShapeRule, CustomRule, DifferentCountPerZoneRule, ExactCountPerZoneRule, ForesightRule, allRules, LyingSymbolRule, ControlLine, Row, MusicGridRule, MysteryRule, NoLoopsRule, OffByXRule, PerfectionRule, RegionAreaRule, RegionShapeRule, Rule, SameCountPerZoneRule, 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, EveryLetterSymbol, FocusSymbol, GalaxySymbol, HiddenSymbol, HouseSymbol, allSymbols, LetterSymbol, LotusSymbol, MinesweeperSymbol, MyopiaSymbol, NumberSymbol, Symbol, ViewpointSymbol, TileData, TileConnections, validateGrid, aggregateState, applyFinalOverrides, GridValidator, };
+export { ConfigType, configEquals, Configurable, CachedAccess, allEqual, array, directionToRotation, escape, isSameEdge, maxBy, minBy, move, orientationToRotation, resize, unescape, isEventHandler, handlesFinalValidation, handlesGetTile, handlesGridChange, handlesGridResize, handlesSetGrid, invokeSetGrid, handlesSymbolDisplay, handlesSymbolMerge, handlesSymbolValidation, GridData, NEIGHBOR_OFFSETS, NEIGHBOR_OFFSETS_8, GridConnections, GridZones, Instruction, COMPARISONS, Color, Comparison, DIRECTIONS, DRUM_SAMPLES, Direction, INSTRUMENTS, Instrument, MajorRule, Mode, ORIENTATIONS, Orientation, PuzzleType, State, WRAPPINGS, Wrapping, directionToggle, isDrumSample, orientationToggle, MetadataSchema, PuzzleSchema, getPuzzleTypes, puzzleEquals, validatePuzzleChecklist, BanPatternRule, CellCountPerZoneRule, CellCountRule, CompletePatternRule, ConnectAllRule, ConnectZonesRule, ContainsShapeRule, CustomRule, DifferentCountPerZoneRule, ExactCountPerZoneRule, ForesightRule, allRules, LyingSymbolRule, ControlLine, Row, MusicGridRule, MysteryRule, NoLoopsRule, OffByXRule, PerfectionRule, RegionAreaRule, RegionShapeRule, Rule, SameCountPerZoneRule, 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, checkSubtilePlacement, 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, AreaNumberSymbol, CustomIconSymbol, CustomSymbol, CustomTextSymbol, DartSymbol, DirectionLinkerSymbol, EveryLetterSymbol, FocusSymbol, GalaxySymbol, HiddenSymbol, HouseSymbol, allSymbols, LetterSymbol, LotusSymbol, MinesweeperSymbol, MyopiaSymbol, NumberSymbol, Symbol, UnsupportedSymbol, ViewpointSymbol, TileData, TileConnections, validateGrid, aggregateState, applyFinalOverrides, GridValidator, };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@logic-pad/core",
-  "version": "0.25.3",
+  "version": "0.26.1",
   "type": "module",
   "files": [
     "dist",
@@ -54,10 +54,8 @@
   "dependencies": {
     "compression-streams-polyfill": "^0.1.7",
     "event-iterator": "^2.0.0",
-    "grilops": "^0.1.2",
     "lodash": "^4.17.21",
     "logic-pad-solver-core": "^0.1.2",
-    "z3-solver": "^4.13.0",
     "zod": "^4.0.17"
   },
   "devDependencies": {

package/dist/src/data/solver/z3/modules/areaNumberModule.d.ts

@@ -1,9 +0,0 @@
-import { Solver, Optimize } from 'z3-solver';
-import GridData from '../../../grid.js';
-import Z3SolverContext from '../z3SolverContext.js';
-import Z3Module from './z3Module.js';
-export default class AreaNumberModule extends Z3Module {
-    readonly id: string;
-    encode<Name extends string>(grid: GridData, ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>): void;
-}
-export declare const instance: AreaNumberModule;

package/dist/src/data/solver/z3/modules/areaNumberModule.js

@@ -1,27 +0,0 @@
-import Z3Module from './z3Module.js';
-import { instance as areaNumberInstance, } from '../../../symbols/areaNumberSymbol.js';
-import { Point } from 'grilops';
-export default class AreaNumberModule extends Z3Module {
-    id = areaNumberInstance.id;
-    encode(grid, ctx) {
-        const symbols = grid.symbols.get(this.id);
-        // optimizations
-        if (!symbols || symbols.length === 0) {
-            return;
-        }
-        for (const symbol of symbols) {
-            if (symbol.number < 1) {
-                ctx.solver.add(ctx.ctx.Bool.val(false));
-                return;
-            }
-        }
-        // encode for real
-        const rc = ctx.regionConstrainer;
-        for (const symbol of symbols) {
-            const x = Math.floor(symbol.x);
-            const y = Math.floor(symbol.y);
-            ctx.solver.add(rc.regionSizeGrid.get(new Point(y, x)).eq(Math.round(symbol.number)));
-        }
-    }
-}
-export const instance = new AreaNumberModule();

package/dist/src/data/solver/z3/modules/cellCountModule.d.ts

@@ -1,9 +0,0 @@
-import { Solver, Optimize } from 'z3-solver';
-import GridData from '../../../grid.js';
-import Z3SolverContext from '../z3SolverContext.js';
-import Z3Module from './z3Module.js';
-export default class CellCountModule extends Z3Module {
-    readonly id: string;
-    encode<Name extends string>(grid: GridData, ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>): void;
-}
-export declare const instance: CellCountModule;

package/dist/src/data/solver/z3/modules/cellCountModule.js

@@ -1,51 +0,0 @@
-import Z3Module from './z3Module.js';
-import { Point } from 'grilops';
-import { instance as cellCountInstance, } from '../../../rules/cellCountRule.js';
-import { Color } from '../../../primitives.js';
-export default class CellCountModule extends Z3Module {
-    id = cellCountInstance.id;
-    encode(grid, ctx) {
-        const rules = grid.rules.filter(rule => rule.id === this.id);
-        // optimizations
-        if (rules.length === 0) {
-            return;
-        }
-        const colorMap = new Map();
-        for (const rule of rules) {
-            if (colorMap.has(rule.color)) {
-                if (colorMap.get(rule.color) !== rule.count) {
-                    ctx.solver.add(ctx.ctx.Bool.val(false));
-                    return;
-                }
-            }
-            else {
-                colorMap.set(rule.color, rule.count);
-            }
-        }
-        for (const [color, count] of colorMap.entries()) {
-            const { min, max } = grid.getColorCount(color);
-            if (min > count || max < count) {
-                ctx.solver.add(ctx.ctx.Bool.val(false));
-                return;
-            }
-        }
-        if (colorMap.has(Color.Light) && colorMap.has(Color.Dark)) {
-            if (colorMap.get(Color.Light) + colorMap.get(Color.Dark) !==
-                grid.getTileCount(true)) {
-                ctx.solver.add(ctx.ctx.Bool.val(false));
-                return;
-            }
-        }
-        // encode for real
-        for (const [color, count] of colorMap.entries()) {
-            const sumTerms = [];
-            grid.forEach((tile, x, y) => {
-                if (tile.exists) {
-                    sumTerms.push(ctx.ctx.If(ctx.grid.cellAt(new Point(y, x)).eq(ctx.symbolSet.indices[color]), 1, 0));
-                }
-            });
-            ctx.solver.add(ctx.ctx.Sum(sumTerms[0], ...sumTerms.slice(1)).eq(count));
-        }
-    }
-}
-export const instance = new CellCountModule();

package/dist/src/data/solver/z3/modules/connectAllModule.d.ts

@@ -1,9 +0,0 @@
-import { Solver, Optimize } from 'z3-solver';
-import GridData from '../../../grid.js';
-import Z3SolverContext from '../z3SolverContext.js';
-import Z3Module from './z3Module.js';
-export default class ConnectAllModule extends Z3Module {
-    readonly id: string;
-    encode<Name extends string>(grid: GridData, ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>): void;
-}
-export declare const instance: ConnectAllModule;

package/dist/src/data/solver/z3/modules/connectAllModule.js

@@ -1,24 +0,0 @@
-import Z3Module from './z3Module.js';
-import { instance as connectAllInstance, } from '../../../rules/connectAllRule.js';
-export default class ConnectAllModule extends Z3Module {
-    id = connectAllInstance.id;
-    encode(grid, ctx) {
-        const rules = grid.rules.filter(rule => rule.id === this.id);
-        // optimizations to try to simplify the encoding
-        if (rules.length === 0) {
-            return;
-        }
-        // encode for real
-        const rc = ctx.regionConstrainer;
-        for (const color of new Set(rules.map(rule => rule.color))) {
-            const sumTerms = [];
-            for (const [p, cell] of ctx.grid.grid.entries()) {
-                sumTerms.push(ctx.ctx.If(cell
-                    .eq(ctx.symbolSet.indices[color])
-                    .and(rc.parentGrid.get(p).eq(1)), 1, 0));
-            }
-            ctx.solver.add(ctx.ctx.Sum(sumTerms[0], ...sumTerms.slice(1)).eq(1));
-        }
-    }
-}
-export const instance = new ConnectAllModule();

package/dist/src/data/solver/z3/modules/dartModule.d.ts

@@ -1,9 +0,0 @@
-import { Solver, Optimize } from 'z3-solver';
-import GridData from '../../../grid.js';
-import Z3SolverContext from '../z3SolverContext.js';
-import Z3Module from './z3Module.js';
-export default class DartModule extends Z3Module {
-    readonly id: string;
-    encode<Name extends string>(grid: GridData, ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>): void;
-}
-export declare const instance: DartModule;

package/dist/src/data/solver/z3/modules/dartModule.js

@@ -1,61 +0,0 @@
-import Z3Module from './z3Module.js';
-import { instance as dartInstance, } from '../../../symbols/dartSymbol.js';
-import { Point, reduceCells } from 'grilops';
-import { Color } from '../../../primitives.js';
-import { move } from '../../../dataHelper.js';
-import { convertDirection } from '../utils.js';
-export default class DartModule extends Z3Module {
-    id = dartInstance.id;
-    encode(grid, ctx) {
-        const symbols = grid.symbols.get(this.id);
-        // optimizations
-        if (!symbols || symbols.length === 0) {
-            return;
-        }
-        for (const symbol of symbols) {
-            const x = Math.floor(symbol.x);
-            const y = Math.floor(symbol.y);
-            const startPos = move({ x, y }, symbol.orientation);
-            const tile = grid.getTile(x, y);
-            if (tile.fixed) {
-                let min = 0;
-                let unknown = 0;
-                grid.iterateDirectionAll(startPos, symbol.orientation, () => true, cell => {
-                    if (!cell.exists)
-                        return;
-                    if (cell.fixed &&
-                        cell.color !== tile.color &&
-                        cell.color !== Color.Gray)
-                        min++;
-                    if (!cell.fixed)
-                        unknown++;
-                });
-                if (min > symbol.number || min + unknown < symbol.number) {
-                    ctx.solver.add(ctx.ctx.Bool.val(false));
-                    return;
-                }
-            }
-            else {
-                let count = 0;
-                grid.iterateDirectionAll(startPos, symbol.orientation, () => true, cell => {
-                    if (!cell.exists)
-                        return;
-                    count++;
-                });
-                if (count < symbol.number) {
-                    ctx.solver.add(ctx.ctx.Bool.val(false));
-                    return;
-                }
-            }
-        }
-        // encode for real
-        for (const symbol of symbols) {
-            const x = Math.floor(symbol.x);
-            const y = Math.floor(symbol.y);
-            const startPos = move({ x, y }, symbol.orientation);
-            const origin = ctx.grid.cellAt(new Point(y, x));
-            ctx.solver.add(reduceCells(ctx.grid.ctx, ctx.grid, new Point(startPos.y, startPos.x), convertDirection(symbol.orientation), ctx.ctx.Int.val(0), (acc, cell) => ctx.ctx.If(ctx.ctx.Or(cell.eq(origin), cell.eq(ctx.symbolSet.indices.empty)), acc, acc.add(1))).eq(symbol.number));
-        }
-    }
-}
-export const instance = new DartModule();

package/dist/src/data/solver/z3/modules/index.d.ts

@@ -1,3 +0,0 @@
-import Z3Module from './z3Module.js';
-declare const allZ3Modules: Map<string, Z3Module>;
-export { allZ3Modules };

package/dist/src/data/solver/z3/modules/index.js

@@ -1,10 +0,0 @@
-import * as modules from './modules.gen.js';
-const allZ3Modules = new Map();
-function register(prototype) {
-    allZ3Modules.set(prototype.id, prototype);
-}
-Object.values(modules).forEach(module => {
-    if (module)
-        register(module);
-});
-export { allZ3Modules };