Re: [Toss-devel] Rewrite of Mso.py

[Lukasz K. <luk...@gm...>]

> My current take is to let the other side (e.g. sKizzo) sort out the
> repetitions. Once I've got a benchmark, I'll write a dedicated CNF
> structure without redundancy to compare if it's better to send less
> bits across a channel.

The solver (sKizzo) should be very efficient in sorting out
repetitions. The reason I did this was because on some
examples sKizzo just crashed and I was not sure why.
But I think there was another reason for this, not repetitions.

Lukasz Kaiser