Integrate Gaussian elimination solution in 2025 day 10 part 2

Author: sim642

src/main/scala/eu/sim642/adventofcode2025/Day10.scala

@@ -87,6 +87,9 @@ object Day10 {
     }
   }
 
+  /**
+   * Solution, which performs Gaussian elimination and then brute forces free variables in their ranges.
+   */
   object GaussianEliminationPart2Solution extends Part2Solution {
     /*
        x0  x1    x2  x3    x4    x5
@@ -161,6 +164,6 @@ object Day10 {
 
   def main(args: Array[String]): Unit = {
     println(Part1.sumFewestPresses(parseMachines(input)))
-    println(Z3Part2Solution.sumFewestPresses(parseMachines(input)))
+    println(GaussianEliminationPart2Solution.sumFewestPresses(parseMachines(input)))
   }
 }

src/test/scala/eu/sim642/adventofcode2025/Day10Test.scala

@@ -8,7 +8,7 @@ import org.scalatest.funsuite.AnyFunSuite
 class Day10Test extends Suites(
   new Part1Test,
   new NaivePart2SolutionTest,
-  //new Z3Part2SolutionTest,
+  new Z3Part2SolutionTest,
   new GaussianEliminationPart2SolutionTest,
 )