I agree, thats brilliant

The problem is the for loop. For example when i=2 then with example initial_time = "12:45" then initial_time[i] is ":" which means initial_time[i][0:2] is also ":", which is an invalid input for int.

@lewissteward448 Please do not abuse the report system. I suggest you drop this topic.

I think you have the tests backwards. Your predicate is expected to behave like a generator, and produce single values at a time. The tests check for this by gathering all the values produced into a list. Your solution however produces one single list of all values at once, so the tests collect that into a list, creating a nested list, while the expected result is just a list.

You need to rebuild your solution to produce individual values. Eg instead of this behaviour:

foo([1, 2, 3]).

You need behaviour like this:

foo(1).
foo(2).
foo(3).

@TheChampionofValor This is a warning, do not abuse the report system any further, and stop threatening people.

@AliRain FYI while this translation is rejected, you can simply "Fork" it to keep the work you already did, and use that to implement random tests.

Thanks for the ping! I'm glad the kata is back, ill try solve it soon(ish)

How is this:

I've fixed it so that solvers can use clpfd.

This fix allows for users to use clpfd

@goldenratio161 There is a (slow) effort to handle duplicate kata, see here.

(This kata is already in the todo list)

There is a trick to do it, which doesnt require searching for every possible combination. Hint: think about why its specifically powers of 2?