Stratadox / PuzzleSolver

sample/sudoku.php

Spacing +9 added lines, -9 removed lines

@@ -18,15 +18,15 @@
     )
 );
 $puzzle = SudokuPuzzle::fromArrays(
-    [   5,    3, null, null,    7, null, null, null, null],
-    [   6, null, null,    1,    9,    5, null, null, null],
-    [null,    9,    8, null, null, null, null,    6, null],
-    [   8, null, null, null,    6, null, null, null,    3],
-    [   4, null, null,    8, null,    3, null, null,    1],
-    [   7, null, null, null,    2, null, null, null,    6],
-    [null,    6, null, null, null, null,    2,    8, null],
-    [null, null, null,    4,    1,    9, null, null,    5],
-    [null, null, null, null,    8, null, null,    7,    9]
+    [5, 3, null, null, 7, null, null, null, null],
+    [6, null, null, 1, 9, 5, null, null, null],
+    [null, 9, 8, null, null, null, null, 6, null],
+    [8, null, null, null, 6, null, null, null, 3],
+    [4, null, null, 8, null, 3, null, null, 1],
+    [7, null, null, null, 2, null, null, null, 6],
+    [null, 6, null, null, null, null, 2, 8, null],
+    [null, null, null, 4, 1, 9, null, null, 5],
+    [null, null, null, null, 8, null, null, 7, 9]
 );
 
 echo "Starting!!\n\n{$puzzle->representation()}\n";

sample/puzzle.php

Spacing +1 added lines, -1 removed lines

@@ -181,7 +181,7 @@
     do {
         $line = readline();
         $crates .= "$line\n";
-    } while(!empty($line));
+    } while (!empty($line));
     $crate = readline('Which crate to liberate?');
     $cratePuzzle = SlidingCratesPuzzle::fromString($crates, $crate);
 

puzzles/Sudoku/Sudoku.php

Spacing +1 added lines, -1 removed lines

@@ -45,7 +45,7 @@
             return Moves::none();
         }
         [$r, $c] = $this->firstEmptyPosition;
-        return Entry::allPossibilitiesFor($r, $c)->filterWith(function (Entry $entry) {
+        return Entry::allPossibilitiesFor($r, $c)->filterWith(function(Entry $entry) {
             return $this->allows($entry);
         });
     }

puzzles/Sudoku/Entry.php

Spacing +1 added lines, -1 removed lines

@@ -26,7 +26,7 @@
     public static function allPossibilitiesFor(int $row, int $column): Moves
     {
         return new Moves(...array_map(
-            static function (int $number) use ($row, $column): Entry {
+            static function(int $number) use ($row, $column): Entry {
                 return new self($number, $row, $column);
             },
             range(1, 9)

puzzles/SlidingCrates/SlidingCratesPuzzle.php

Spacing +1 added lines, -1 removed lines

@@ -67,7 +67,7 @@
         foreach ($crateCoordinates as $id => $coordinates) {
             $crates[] = Crate::fromCoordinates($id, ...$coordinates);
         }
-        usort($crates, static function (Crate $crate1, Crate $crate2): int {
+        usort($crates, static function(Crate $crate1, Crate $crate2): int {
             return $crate1->id() <=> $crate2->id();
         });
 

puzzles/SlidingCrates/Room.php

Spacing +1 added lines, -1 removed lines

@@ -70,7 +70,7 @@
     public function possiblePushes(): Moves
     {
         return Push::allFor($this->crates)
-            ->filterWith(function (Push $push): bool {
+            ->filterWith(function(Push $push): bool {
                 return $this->crates->withId($push->crateId())->canPush(
                     $push,
                     $this->crates,

puzzles/Maze/MazePuzzle.php

Spacing +1 added lines, -1 removed lines

@@ -49,7 +49,7 @@
 
     public function possibleMoves(): Moves
     {
-        return Action::all()->filterWith(function (Action $action) {
+        return Action::all()->filterWith(function(Action $action) {
             return $this->maze->isValidPosition($this->hero->after($action));
         });
     }

puzzles/WolfGoatCabbage/Crossing.php

Spacing +1 added lines, -1 removed lines

@@ -24,7 +24,7 @@
     {
         return new Moves(
             new Crossing($riverbank->isStart(), null),
-            ...array_map(static function (Purchase $purchase) use ($riverbank) {
+            ...array_map(static function(Purchase $purchase) use ($riverbank) {
                 return new Crossing($riverbank->isStart(), $purchase);
             }, $riverbank->purchases())
         );

puzzles/WolfGoatCabbage/Farmer.php

Spacing +1 added lines, -1 removed lines

@@ -37,7 +37,7 @@
     public function possibleCrossings(): Moves
     {
         return Crossing::allCrossingsFor($this->currentBank)
-            ->filterWith(function (Crossing $crossing) {
+            ->filterWith(function(Crossing $crossing) {
                 return $this->currentBank->canTakeAway($crossing->bringAlong());
             });
     }