Method getPruning

app/src/main/java/solver/Utils.java:22–24

(int[] table, int index)

    }

    public static int getPruning(int[] table, int index) {
        return table[index >> 3] >> ((index & 7) << 2) & 15;
    }

    public static void setPruning(int[] table, int index, int value) {
        table[index >> 3] ^= (15 ^ value) << ((index & 7) << 2);