On 18.05.2016 13:30, Roman wrote:
> Sergei, try also
>
> debug = \ {_ _ _} -> implic prime∣split
Why should that help?
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/