@logic-pad/core 0.25.3 → 0.26.0

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/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';
@@ -118,4 +105,4 @@ 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, 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';
@@ -121,4 +108,4 @@ 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, 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.0",
   "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 };

package/dist/src/data/solver/z3/modules/letterModule.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 LetterModule extends Z3Module {
-    readonly id: string;
-    encode<Name extends string>(grid: GridData, ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>): void;
-}
-export declare const instance: LetterModule;

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

@@ -1,33 +0,0 @@
-import Z3Module from './z3Module.js';
-import { instance as letterInstance, } from '../../../symbols/letterSymbol.js';
-import { Point } from 'grilops';
-export default class LetterModule extends Z3Module {
-    id = letterInstance.id;
-    encode(grid, ctx) {
-        const symbols = grid.symbols.get(this.id);
-        if (!symbols || symbols.length === 0) {
-            return;
-        }
-        const rc = ctx.regionConstrainer;
-        const letterMap = new Map();
-        for (const symbol of symbols) {
-            const x = Math.floor(symbol.x);
-            const y = Math.floor(symbol.y);
-            if (letterMap.has(symbol.letter)) {
-                ctx.solver.add(letterMap
-                    .get(symbol.letter)
-                    .eq(rc.regionIdGrid.get(new Point(y, x))));
-            }
-            else {
-                letterMap.set(symbol.letter, rc.regionIdGrid.get(new Point(y, x)));
-            }
-        }
-        const letters = Array.from(letterMap.values());
-        for (let i = 0; i < letters.length - 1; i++) {
-            for (let j = i + 1; j < letters.length; j++) {
-                ctx.solver.add(letters[i].neq(letters[j]));
-            }
-        }
-    }
-}
-export const instance = new LetterModule();

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

@@ -1,8 +0,0 @@
-export { instance as AreaNumberModule } from './areaNumberModule.js';
-export { instance as CellCountModule } from './cellCountModule.js';
-export { instance as ConnectAllModule } from './connectAllModule.js';
-export { instance as DartModule } from './dartModule.js';
-export { instance as LetterModule } from './letterModule.js';
-export { instance as MyopiaModule } from './myopiaModule.js';
-export { instance as RegionAreaModule } from './regionAreaModule.js';
-export { instance as ViewpointModule } from './viewpointModule.js';

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

@@ -1,12 +0,0 @@
-/* prettier-ignore-start */
-/* eslint-disable */
-// @ts-nocheck
-// noinspection JSUnusedGlobalSymbols
-export { instance as AreaNumberModule } from './areaNumberModule.js';
-export { instance as CellCountModule } from './cellCountModule.js';
-export { instance as ConnectAllModule } from './connectAllModule.js';
-export { instance as DartModule } from './dartModule.js';
-export { instance as LetterModule } from './letterModule.js';
-export { instance as MyopiaModule } from './myopiaModule.js';
-export { instance as RegionAreaModule } from './regionAreaModule.js';
-export { instance as ViewpointModule } from './viewpointModule.js';

package/dist/src/data/solver/z3/modules/myopiaModule.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 MyopiaModule extends Z3Module {
-    readonly id: string;
-    encode<Name extends string>(grid: GridData, ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>): void;
-}
-export declare const instance: MyopiaModule;

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

@@ -1,56 +0,0 @@
-import Z3Module from './z3Module.js';
-import { instance as myopiaInstance, } from '../../../symbols/myopiaSymbol.js';
-import { Point, reduceCells } from 'grilops';
-import { DIRECTIONS, ORIENTATIONS } from '../../../primitives.js';
-import { convertDirection } from '../utils.js';
-import { move } from '../../../dataHelper.js';
-export default class MyopiaModule extends Z3Module {
-    id = myopiaInstance.id;
-    encode(grid, ctx) {
-        const symbols = grid.symbols.get(this.id);
-        // optimizations
-        if (!symbols || symbols.length === 0) {
-            return;
-        }
-        // encode for real
-        for (const symbol of symbols) {
-            const x = Math.floor(symbol.x);
-            const y = Math.floor(symbol.y);
-            const startPos = new Point(y, x);
-            const origin = ctx.grid.cellAt(new Point(y, x));
-            const pointedTerms = [];
-            const otherTerms = [];
-            ORIENTATIONS.filter(d => symbol.directions[d]).forEach(direction => {
-                pointedTerms.push(reduceCells(ctx.grid.ctx, ctx.grid, startPos, convertDirection(direction), ctx.ctx.Int.val(0), (acc, cell, p) => {
-                    const nextPos = move({ x: p.x, y: p.y }, direction);
-                    if (grid.isPositionValid(nextPos.x, nextPos.y)) {
-                        return ctx.ctx.If(cell.eq(origin), acc.add(1), acc);
-                    }
-                    else {
-                        return ctx.ctx.If(cell.eq(origin), acc.add(Number.MAX_SAFE_INTEGER), acc);
-                    }
-                }, (_, cell) => cell.neq(origin)));
-            });
-            (symbol.diagonals ? ORIENTATIONS : DIRECTIONS)
-                .filter(d => !symbol.directions[d])
-                .forEach(direction => {
-                otherTerms.push(reduceCells(ctx.grid.ctx, ctx.grid, startPos, convertDirection(direction), ctx.ctx.Int.val(0), (acc, cell, p) => {
-                    const nextPos = move({ x: p.x, y: p.y }, direction);
-                    if (grid.isPositionValid(nextPos.x, nextPos.y)) {
-                        return ctx.ctx.If(cell.eq(origin), acc.add(1), acc);
-                    }
-                    else {
-                        return ctx.ctx.If(cell.eq(origin), acc.add(Number.MAX_SAFE_INTEGER), acc);
-                    }
-                }, (_, cell) => cell.neq(origin)));
-            });
-            for (let i = 1; i < pointedTerms.length; i++) {
-                ctx.solver.add(pointedTerms[i].eq(pointedTerms[0]));
-            }
-            for (const otherTerm of otherTerms) {
-                ctx.solver.add(otherTerm.gt(pointedTerms[0]));
-            }
-        }
-    }
-}
-export const instance = new MyopiaModule();

package/dist/src/data/solver/z3/modules/regionAreaModule.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 RegionAreaModule extends Z3Module {
-    readonly id: string;
-    encode<Name extends string>(grid: GridData, ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>): void;
-}
-export declare const instance: RegionAreaModule;

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

@@ -1,40 +0,0 @@
-import Z3Module from './z3Module.js';
-import { instance as regionAreaInstance, } from '../../../rules/regionAreaRule.js';
-export default class RegionAreaModule extends Z3Module {
-    id = regionAreaInstance.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.size) {
-                    ctx.solver.add(ctx.ctx.Bool.val(false));
-                    return;
-                }
-            }
-            else {
-                colorMap.set(rule.color, rule.size);
-            }
-        }
-        for (const [color, count] of colorMap.entries()) {
-            if (count < 0 || count > grid.getColorCount(color).max) {
-                ctx.solver.add(ctx.ctx.Bool.val(false));
-                return;
-            }
-        }
-        // encode for real
-        const rc = ctx.regionConstrainer;
-        for (const [color, count] of colorMap.entries()) {
-            for (const [p, cell] of ctx.grid.grid.entries()) {
-                ctx.solver.add(cell
-                    .eq(ctx.symbolSet.indices[color])
-                    .implies(rc.regionSizeGrid.get(p).eq(count)));
-            }
-        }
-    }
-}
-export const instance = new RegionAreaModule();