@logic-pad/core 0.1.0 → 0.1.2

package/dist/data/solver/backtrack/rules/sameShape.d.ts

@@ -1,6 +1,6 @@
-import SameShapeRule from '../../../rules/sameShapeRule';
-import { BTGridData, CheckResult } from '../data';
-import RegionShapeBTModule from './regionShape';
+import SameShapeRule from '../../../rules/sameShapeRule.js';
+import { BTGridData, CheckResult } from '../data.js';
+import RegionShapeBTModule from './regionShape.js';
 export default class SameShapeBTModule extends RegionShapeBTModule {
     instr: SameShapeRule;
     constructor(instr: SameShapeRule);

package/dist/data/solver/backtrack/rules/sameShape.js

@@ -1,4 +1,4 @@
-import RegionShapeBTModule from './regionShape';
+import RegionShapeBTModule from './regionShape.js';
 export default class SameShapeBTModule extends RegionShapeBTModule {
     constructor(instr) {
         super(instr);

package/dist/data/solver/backtrack/rules/symbolsPerRegion.d.ts

@@ -1,6 +1,6 @@
-import SymbolsPerRegionRule from '../../../rules/symbolsPerRegionRule';
-import Symbol from '../../../symbols/symbol';
-import BTModule, { BTGridData, CheckResult } from '../data';
+import SymbolsPerRegionRule from '../../../rules/symbolsPerRegionRule.js';
+import Symbol from '../../../symbols/symbol.js';
+import BTModule, { BTGridData, CheckResult } from '../data.js';
 export default class SymbolsPerRegionBTModule extends BTModule {
     instr: SymbolsPerRegionRule;
     private symbolCount;

package/dist/data/solver/backtrack/rules/symbolsPerRegion.js

@@ -1,5 +1,5 @@
-import { Comparison } from '../../../primitives';
-import BTModule, { BTTile, IntArray2D, colorToBTTile, } from '../data';
+import { Comparison } from '../../../primitives.js';
+import BTModule, { BTTile, IntArray2D, colorToBTTile, } from '../data.js';
 export default class SymbolsPerRegionBTModule extends BTModule {
     constructor(instr, width, height, allSymbols) {
         super();

package/dist/data/solver/backtrack/rules/uniqueShape.d.ts

@@ -1,6 +1,6 @@
-import UniqueShapeRule from '../../../rules/uniqueShapeRule';
-import { BTGridData, CheckResult } from '../data';
-import RegionShapeBTModule from './regionShape';
+import UniqueShapeRule from '../../../rules/uniqueShapeRule.js';
+import { BTGridData, CheckResult } from '../data.js';
+import RegionShapeBTModule from './regionShape.js';
 export default class UniqueShapeBTModule extends RegionShapeBTModule {
     instr: UniqueShapeRule;
     constructor(instr: UniqueShapeRule);

package/dist/data/solver/backtrack/rules/uniqueShape.js

@@ -1,4 +1,4 @@
-import RegionShapeBTModule from './regionShape';
+import RegionShapeBTModule from './regionShape.js';
 export default class UniqueShapeBTModule extends RegionShapeBTModule {
     constructor(instr) {
         super(instr);

package/dist/data/solver/backtrack/symbols/areaNumber.d.ts

@@ -1,6 +1,6 @@
-import { Position } from '../../../primitives';
-import AreaNumberSymbol from '../../../symbols/areaNumberSymbol';
-import BTModule, { BTGridData, CheckResult } from '../data';
+import { Position } from '../../../primitives.js';
+import AreaNumberSymbol from '../../../symbols/areaNumberSymbol.js';
+import BTModule, { BTGridData, CheckResult } from '../data.js';
 export default class AreaNumberBTModule extends BTModule {
     instr: AreaNumberSymbol;
     constructor(instr: AreaNumberSymbol);

package/dist/data/solver/backtrack/symbols/areaNumber.js

@@ -1,4 +1,4 @@
-import BTModule, { BTTile, IntArray2D, createOneTileResult, } from '../data';
+import BTModule, { BTTile, IntArray2D, createOneTileResult, } from '../data.js';
 export default class AreaNumberBTModule extends BTModule {
     constructor(instr) {
         super();

package/dist/data/solver/backtrack/symbols/dart.d.ts

@@ -1,5 +1,5 @@
-import DartSymbol from '../../../symbols/dartSymbol';
-import BTModule, { BTGridData, CheckResult } from '../data';
+import DartSymbol from '../../../symbols/dartSymbol.js';
+import BTModule, { BTGridData, CheckResult } from '../data.js';
 export default class DartBTModule extends BTModule {
     instr: DartSymbol;
     private cachedCheckResult?;

package/dist/data/solver/backtrack/symbols/dart.js

@@ -1,5 +1,5 @@
-import { move } from '../../../dataHelper';
-import BTModule, { BTTile, IntArray2D, createOneTileResult, getOppositeColor, } from '../data';
+import { move } from '../../../dataHelper.js';
+import BTModule, { BTTile, IntArray2D, createOneTileResult, getOppositeColor, } from '../data.js';
 export default class DartBTModule extends BTModule {
     constructor(instr) {
         super();

package/dist/data/solver/backtrack/symbols/directionLinker.d.ts

@@ -1,6 +1,6 @@
-import { Position } from '../../../primitives';
-import DirectionLinkerSymbol from '../../../symbols/directionLinkerSymbol';
-import BTModule, { BTGridData, CheckResult } from '../data';
+import { Position } from '../../../primitives.js';
+import DirectionLinkerSymbol from '../../../symbols/directionLinkerSymbol.js';
+import BTModule, { BTGridData, CheckResult } from '../data.js';
 export default abstract class DirectionLinkerBTModule extends BTModule {
     instr: DirectionLinkerSymbol;
     constructor(instr: DirectionLinkerSymbol);

package/dist/data/solver/backtrack/symbols/directionLinker.js

@@ -1,4 +1,4 @@
-import BTModule, { BTTile, IntArray2D, createOneTileResult, } from '../data';
+import BTModule, { BTTile, IntArray2D, createOneTileResult, } from '../data.js';
 export default class DirectionLinkerBTModule extends BTModule {
     constructor(instr) {
         super();

package/dist/data/solver/backtrack/symbols/galaxy.d.ts

@@ -1,7 +1,7 @@
-import { Position } from '../../../primitives';
-import GalaxySymbol from '../../../symbols/galaxySymbol';
-import { BTGridData } from '../data';
-import DirectionLinkerBTModule from './directionLinker';
+import { Position } from '../../../primitives.js';
+import GalaxySymbol from '../../../symbols/galaxySymbol.js';
+import { BTGridData } from '../data.js';
+import DirectionLinkerBTModule from './directionLinker.js';
 export default class GalaxyBTModule extends DirectionLinkerBTModule {
     instr: GalaxySymbol;
     constructor(instr: GalaxySymbol);

package/dist/data/solver/backtrack/symbols/galaxy.js

@@ -1,4 +1,4 @@
-import DirectionLinkerBTModule from './directionLinker';
+import DirectionLinkerBTModule from './directionLinker.js';
 export default class GalaxyBTModule extends DirectionLinkerBTModule {
     constructor(instr) {
         super(instr);

package/dist/data/solver/backtrack/symbols/letter.d.ts

@@ -1,5 +1,5 @@
-import LetterSymbol from '../../../symbols/letterSymbol';
-import BTModule, { BTGridData, CheckResult } from '../data';
+import LetterSymbol from '../../../symbols/letterSymbol.js';
+import BTModule, { BTGridData, CheckResult } from '../data.js';
 export default class LetterBTModule extends BTModule {
     private letters;
     private letterGrid;

package/dist/data/solver/backtrack/symbols/letter.js

@@ -1,4 +1,4 @@
-import BTModule, { BTTile, IntArray2D } from '../data';
+import BTModule, { BTTile, IntArray2D, } from '../data.js';
 export default class LetterBTModule extends BTModule {
     constructor(instrs, width, height) {
         super();

package/dist/data/solver/backtrack/symbols/lotus.d.ts

@@ -1,7 +1,7 @@
-import { Position } from '../../../primitives';
-import LotusSymbol from '../../../symbols/lotusSymbol';
-import { BTGridData } from '../data';
-import DirectionLinkerBTModule from './directionLinker';
+import { Position } from '../../../primitives.js';
+import LotusSymbol from '../../../symbols/lotusSymbol.js';
+import { BTGridData } from '../data.js';
+import DirectionLinkerBTModule from './directionLinker.js';
 export default class LotusBTModule extends DirectionLinkerBTModule {
     instr: LotusSymbol;
     constructor(instr: LotusSymbol);

package/dist/data/solver/backtrack/symbols/lotus.js

@@ -1,5 +1,5 @@
-import { Orientation } from '../../../primitives';
-import DirectionLinkerBTModule from './directionLinker';
+import { Orientation } from '../../../primitives.js';
+import DirectionLinkerBTModule from './directionLinker.js';
 export default class LotusBTModule extends DirectionLinkerBTModule {
     constructor(instr) {
         super(instr);

package/dist/data/solver/backtrack/symbols/minesweeper.d.ts

@@ -1,5 +1,5 @@
-import MinesweeperSymbol from '../../../symbols/minesweeperSymbol';
-import BTModule, { BTGridData, CheckResult } from '../data';
+import MinesweeperSymbol from '../../../symbols/minesweeperSymbol.js';
+import BTModule, { BTGridData, CheckResult } from '../data.js';
 export default class MinesweeperBTModule extends BTModule {
     instr: MinesweeperSymbol;
     private cachedCheckResult?;

package/dist/data/solver/backtrack/symbols/minesweeper.js

@@ -1,4 +1,4 @@
-import BTModule, { BTTile, IntArray2D, createOneTileResult, getOppositeColor, } from '../data';
+import BTModule, { BTTile, IntArray2D, createOneTileResult, getOppositeColor, } from '../data.js';
 export default class MinesweeperBTModule extends BTModule {
     constructor(instr) {
         super();

package/dist/data/solver/backtrack/symbols/myopia.d.ts

@@ -1,5 +1,5 @@
-import MyopiaSymbol from '../../../symbols/myopiaSymbol';
-import BTModule, { BTGridData, CheckResult } from '../data';
+import MyopiaSymbol from '../../../symbols/myopiaSymbol.js';
+import BTModule, { BTGridData, CheckResult } from '../data.js';
 export default class MyopiaBTModule extends BTModule {
     instr: MyopiaSymbol;
     constructor(instr: MyopiaSymbol);

package/dist/data/solver/backtrack/symbols/myopia.js

@@ -1,6 +1,6 @@
-import { move } from '../../../dataHelper';
-import { ORIENTATIONS, Orientation } from '../../../primitives';
-import BTModule, { BTTile, createOneTileResult, getOppositeColor, } from '../data';
+import { move } from '../../../dataHelper.js';
+import { ORIENTATIONS, Orientation } from '../../../primitives.js';
+import BTModule, { BTTile, createOneTileResult, getOppositeColor, } from '../data.js';
 export default class MyopiaBTModule extends BTModule {
     constructor(instr) {
         super();

package/dist/data/solver/backtrack/symbols/viewpoint.d.ts

@@ -1,5 +1,5 @@
-import ViewpointSymbol from '../../../symbols/viewpointSymbol';
-import BTModule, { BTGridData, CheckResult } from '../data';
+import ViewpointSymbol from '../../../symbols/viewpointSymbol.js';
+import BTModule, { BTGridData, CheckResult } from '../data.js';
 export default class ViewpointBTModule extends BTModule {
     instr: ViewpointSymbol;
     constructor(instr: ViewpointSymbol);

package/dist/data/solver/backtrack/symbols/viewpoint.js

@@ -1,4 +1,4 @@
-import BTModule, { BTTile, IntArray2D, createOneTileResult, getOppositeColor, } from '../data';
+import BTModule, { BTTile, IntArray2D, createOneTileResult, getOppositeColor, } from '../data.js';
 export default class ViewpointBTModule extends BTModule {
     constructor(instr) {
         super();

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

@@ -1,4 +1,4 @@
-import GridData from '../grid';
+import GridData from '../grid.js';
 /**
  * Base class that all solvers must extend.
  */

package/dist/data/solver/solver.js

@@ -1,5 +1,5 @@
-import { allRules } from '../rules';
-import { allSymbols } from '../symbols';
+import { allRules } from '../rules/index.js';
+import { allSymbols } from '../symbols/index.js';
 /**
  * Base class that all solvers must extend.
  */

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

@@ -1,5 +1,5 @@
-import GridData from '../../grid';
-import Solver from '../solver';
+import GridData from '../../grid.js';
+import Solver from '../solver.js';
 export default class UndercluedSolver extends Solver {
     readonly id = "underclued";
     readonly description = "Solves every puzzle as if it were underclued. Supports all rules and symbols and is decently fast for small puzzles. Very slow for large puzzles.";

package/dist/data/solver/underclued/undercluedSolver.js

@@ -1,7 +1,7 @@
-import { Color } from '../../primitives';
-import { instance as undercluedInstance } from '../../rules/undercluedRule';
-import { Serializer } from '../../serializer/allSerializers';
-import Solver from '../solver';
+import { Color } from '../../primitives.js';
+import { instance as undercluedInstance } from '../../rules/undercluedRule.js';
+import { Serializer } from '../../serializer/allSerializers.js';
+import Solver from '../solver.js';
 export default class UndercluedSolver extends Solver {
     constructor() {
         super(...arguments);

package/dist/data/solver/underclued/undercluedWorker.js

@@ -1,6 +1,6 @@
-import { Color, State } from '../../primitives';
-import { Serializer } from '../../serializer/allSerializers';
-import validateGrid from '../../validate';
+import { Color, State } from '../../primitives.js';
+import { Serializer } from '../../serializer/allSerializers.js';
+import validateGrid from '../../validate.js';
 function posToCoords(pos, width) {
     if (pos === undefined) {
         throw new Error('pos is undefined');

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

@@ -1,7 +1,7 @@
 import { Solver, Optimize } from 'z3-solver';
-import GridData from '../../../grid';
-import Z3SolverContext from '../z3SolverContext';
-import Z3Module from './z3Module';
+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;

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

@@ -1,5 +1,5 @@
-import Z3Module from './z3Module';
-import { instance as areaNumberInstance, } from '../../../symbols/areaNumberSymbol';
+import Z3Module from './z3Module.js';
+import { instance as areaNumberInstance, } from '../../../symbols/areaNumberSymbol.js';
 import { Point } from 'grilops';
 export default class AreaNumberModule extends Z3Module {
     constructor() {

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

@@ -1,7 +1,7 @@
 import { Solver, Optimize } from 'z3-solver';
-import GridData from '../../../grid';
-import Z3SolverContext from '../z3SolverContext';
-import Z3Module from './z3Module';
+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;

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

@@ -1,7 +1,7 @@
-import Z3Module from './z3Module';
+import Z3Module from './z3Module.js';
 import { Point } from 'grilops';
-import { instance as cellCountInstance, } from '../../../rules/cellCountRule';
-import { Color } from '../../../primitives';
+import { instance as cellCountInstance, } from '../../../rules/cellCountRule.js';
+import { Color } from '../../../primitives.js';
 export default class CellCountModule extends Z3Module {
     constructor() {
         super(...arguments);

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

@@ -1,7 +1,7 @@
 import { Solver, Optimize } from 'z3-solver';
-import GridData from '../../../grid';
-import Z3SolverContext from '../z3SolverContext';
-import Z3Module from './z3Module';
+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;

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

@@ -1,5 +1,5 @@
-import Z3Module from './z3Module';
-import { instance as connectAllInstance, } from '../../../rules/connectAllRule';
+import Z3Module from './z3Module.js';
+import { instance as connectAllInstance, } from '../../../rules/connectAllRule.js';
 export default class ConnectAllModule extends Z3Module {
     constructor() {
         super(...arguments);

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

@@ -1,7 +1,7 @@
 import { Solver, Optimize } from 'z3-solver';
-import GridData from '../../../grid';
-import Z3SolverContext from '../z3SolverContext';
-import Z3Module from './z3Module';
+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;

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

@@ -1,9 +1,9 @@
-import Z3Module from './z3Module';
-import { instance as dartInstance, } from '../../../symbols/dartSymbol';
+import Z3Module from './z3Module.js';
+import { instance as dartInstance, } from '../../../symbols/dartSymbol.js';
 import { Point, reduceCells } from 'grilops';
-import { Color } from '../../../primitives';
-import { move } from '../../../dataHelper';
-import { convertDirection } from '../utils';
+import { Color } from '../../../primitives.js';
+import { move } from '../../../dataHelper.js';
+import { convertDirection } from '../utils.js';
 export default class DartModule extends Z3Module {
     constructor() {
         super(...arguments);

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

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

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

@@ -1,4 +1,4 @@
-import * as modules from './modules.gen';
+import * as modules from './modules.gen.js';
 const allZ3Modules = new Map();
 function register(prototype) {
     allZ3Modules.set(prototype.id, prototype);

package/dist/data/solver/z3/modules/letterModule.d.ts

@@ -1,7 +1,7 @@
 import { Solver, Optimize } from 'z3-solver';
-import GridData from '../../../grid';
-import Z3SolverContext from '../z3SolverContext';
-import Z3Module from './z3Module';
+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;

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

@@ -1,5 +1,5 @@
-import Z3Module from './z3Module';
-import { instance as letterInstance, } from '../../../symbols/letterSymbol';
+import Z3Module from './z3Module.js';
+import { instance as letterInstance, } from '../../../symbols/letterSymbol.js';
 import { Point } from 'grilops';
 export default class LetterModule extends Z3Module {
     constructor() {

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

@@ -1,8 +1,8 @@
-export { instance as AreaNumberModule } from './areaNumberModule';
-export { instance as CellCountModule } from './cellCountModule';
-export { instance as ConnectAllModule } from './connectAllModule';
-export { instance as DartModule } from './dartModule';
-export { instance as LetterModule } from './letterModule';
-export { instance as MyopiaModule } from './myopiaModule';
-export { instance as RegionAreaModule } from './regionAreaModule';
-export { instance as ViewpointModule } from './viewpointModule';
+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/data/solver/z3/modules/modules.gen.js

@@ -2,11 +2,11 @@
 /* eslint-disable */
 // @ts-nocheck
 // noinspection JSUnusedGlobalSymbols
-export { instance as AreaNumberModule } from './areaNumberModule';
-export { instance as CellCountModule } from './cellCountModule';
-export { instance as ConnectAllModule } from './connectAllModule';
-export { instance as DartModule } from './dartModule';
-export { instance as LetterModule } from './letterModule';
-export { instance as MyopiaModule } from './myopiaModule';
-export { instance as RegionAreaModule } from './regionAreaModule';
-export { instance as ViewpointModule } from './viewpointModule';
+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/data/solver/z3/modules/myopiaModule.d.ts

@@ -1,7 +1,7 @@
 import { Solver, Optimize } from 'z3-solver';
-import GridData from '../../../grid';
-import Z3SolverContext from '../z3SolverContext';
-import Z3Module from './z3Module';
+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;

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

@@ -1,9 +1,9 @@
-import Z3Module from './z3Module';
-import { instance as myopiaInstance, } from '../../../symbols/myopiaSymbol';
+import Z3Module from './z3Module.js';
+import { instance as myopiaInstance, } from '../../../symbols/myopiaSymbol.js';
 import { Point, reduceCells } from 'grilops';
-import { DIRECTIONS, ORIENTATIONS } from '../../../primitives';
-import { convertDirection } from '../utils';
-import { move } from '../../../dataHelper';
+import { DIRECTIONS, ORIENTATIONS } from '../../../primitives.js';
+import { convertDirection } from '../utils.js';
+import { move } from '../../../dataHelper.js';
 export default class MyopiaModule extends Z3Module {
     constructor() {
         super(...arguments);

package/dist/data/solver/z3/modules/regionAreaModule.d.ts

@@ -1,7 +1,7 @@
 import { Solver, Optimize } from 'z3-solver';
-import GridData from '../../../grid';
-import Z3SolverContext from '../z3SolverContext';
-import Z3Module from './z3Module';
+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;

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

@@ -1,5 +1,5 @@
-import Z3Module from './z3Module';
-import { instance as regionAreaInstance, } from '../../../rules/regionAreaRule';
+import Z3Module from './z3Module.js';
+import { instance as regionAreaInstance, } from '../../../rules/regionAreaRule.js';
 export default class RegionAreaModule extends Z3Module {
     constructor() {
         super(...arguments);

package/dist/data/solver/z3/modules/viewpointModule.d.ts

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

package/dist/data/solver/z3/modules/viewpointModule.js

@@ -1,9 +1,9 @@
-import Z3Module from './z3Module';
-import { instance as viewpointInstance, } from '../../../symbols/viewpointSymbol';
+import Z3Module from './z3Module.js';
+import { instance as viewpointInstance, } from '../../../symbols/viewpointSymbol.js';
 import { Point, reduceCells } from 'grilops';
-import { DIRECTIONS } from '../../../primitives';
-import { move } from '../../../dataHelper';
-import { convertDirection } from '../utils';
+import { DIRECTIONS } from '../../../primitives.js';
+import { move } from '../../../dataHelper.js';
+import { convertDirection } from '../utils.js';
 export default class ViewpointModule extends Z3Module {
     constructor() {
         super(...arguments);

package/dist/data/solver/z3/modules/z3Module.d.ts

@@ -1,5 +1,5 @@
-import GridData from '../../../grid';
-import Z3SolverContext from '../z3SolverContext';
+import GridData from '../../../grid.js';
+import Z3SolverContext from '../z3SolverContext.js';
 export default abstract class Z3Module {
     abstract get id(): string;
     abstract encode<Name extends string>(grid: GridData, ctx: Z3SolverContext<Name>): void;

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

@@ -1,2 +1,2 @@
-import { Direction, Orientation } from '../../primitives';
+import { Direction, Orientation } from '../../primitives.js';
 export declare function convertDirection(direction: Orientation | Direction): import("grilops").Direction;

package/dist/data/solver/z3/utils.js

@@ -1,5 +1,5 @@
 import { RectangularLattice } from 'grilops';
-import { Direction, Orientation } from '../../primitives';
+import { Direction, Orientation } from '../../primitives.js';
 export function convertDirection(direction) {
     switch (direction) {
         case Direction.Up:

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

@@ -1,5 +1,5 @@
-import GridData from '../../grid';
-import Solver from '../solver';
+import GridData from '../../grid.js';
+import Solver from '../solver.js';
 export default class Z3Solver extends Solver {
     readonly id = "z3";
     readonly description = "Good for confirming that a solution is unique, especially for larger puzzles. It is otherwise slower than most solvers in small to medium-sized puzzles.";

package/dist/data/solver/z3/z3Solver.js

@@ -1,10 +1,10 @@
 import { Point, PointSet, SymbolGrid, SymbolSet, getRectangleLattice, } from 'grilops';
-import Solver from '../solver';
-import { allZ3Modules } from './modules';
-import { Color } from '../../primitives';
+import Solver from '../solver.js';
+import { allZ3Modules } from './modules/index.js';
+import { Color } from '../../primitives.js';
 import { init } from 'z3-solver';
-import Z3SolverContext from './z3SolverContext';
-import { array } from '../../dataHelper';
+import Z3SolverContext from './z3SolverContext.js';
+import { array } from '../../dataHelper.js';
 export default class Z3Solver extends Solver {
     constructor() {
         super(...arguments);

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

@@ -1,6 +1,6 @@
-import { AnyConfig } from '../config';
-import GridData from '../grid';
-import NumberSymbol from './numberSymbol';
+import { AnyConfig } from '../config.js';
+import GridData from '../grid.js';
+import NumberSymbol from './numberSymbol.js';
 export default class AreaNumberSymbol extends NumberSymbol {
     private static readonly CONFIGS;
     private static readonly EXAMPLE_GRID;

package/dist/data/symbols/areaNumberSymbol.js

@@ -1,7 +1,7 @@
-import { ConfigType } from '../config';
-import GridData from '../grid';
-import { Color } from '../primitives';
-import NumberSymbol from './numberSymbol';
+import { ConfigType } from '../config.js';
+import GridData from '../grid.js';
+import { Color } from '../primitives.js';
+import NumberSymbol from './numberSymbol.js';
 class AreaNumberSymbol extends NumberSymbol {
     /**
      * **Area Numbers must equal region sizes**