commit ddd51b3d6c213cedecbcbc0e6b8c694859f2fb95
Author: Leszek Koltunski <leszek@koltunski.pl>
Date:   Fri Feb 24 00:25:59 2023 +0100

    CU_232 solver: filtering the position should work now

diff --git a/src/main/java/org/distorted/solvers/SolverCuboid232.java b/src/main/java/org/distorted/solvers/SolverCuboid232.java
index 13f8fef6..da1be412 100644
--- a/src/main/java/org/distorted/solvers/SolverCuboid232.java
+++ b/src/main/java/org/distorted/solvers/SolverCuboid232.java
@@ -182,12 +182,12 @@ public class SolverCuboid232 extends SolverTablebase
 
     for(int c=0; c<8; c++)
       {
-      if( !found3 && corners[c][1]==mFaceColors[4] )
+      if( !found3 && corners[c][1]==mFaceColors[4] && corners[c][2]==mFaceColors[1] )
         {
         found3=true;
         mFaceColors[3] = corners[c][0];
         }
-      if( !found2 && corners[c][2]==mFaceColors[4] )
+      if( !found2 && corners[c][1]==mFaceColors[1] && corners[c][2]==mFaceColors[4] )
         {
         found2=true;
         mFaceColors[2] = corners[c][0];
@@ -211,7 +211,7 @@ public class SolverCuboid232 extends SolverTablebase
 
     ret[0] = perm[0];
     ret[1] = perm[2];
-    ret[3] = perm[3];
+    ret[2] = perm[3];
 
     if( ret[0]>1 ) ret[0]--;
     if( ret[1]>1 ) ret[1]--;
@@ -291,7 +291,23 @@ public class SolverCuboid232 extends SolverTablebase
 
     int corner_perm_num = TablebaseHelpers.computePermutationNum(corner_perm);
     int edge_perm_num = TablebaseHelpers.computePermutationNum(edge_perm2);
+/*
+    android.util.Log.e("D", "corner perm num="+corner_perm_num);
+    for(int i=0; i<8; i++)
+      {
+      android.util.Log.e("D", "corner perm "+i+" "+corner_perm[i]);
+      }
 
+    android.util.Log.e("D", "edge perm num="+edge_perm_num);
+    for(int i=0; i<4; i++)
+      {
+      android.util.Log.e("D", "edge perm "+i+" "+edge_perm[i]);
+      }
+    for(int i=0; i<3; i++)
+      {
+      android.util.Log.e("D", "edge perm2 "+i+" "+edge_perm2[i]);
+      }
+*/
     return edge_perm_num + 6*corner_perm_num;
     }