Re: [Toss-devel] Rewrite of Mso.py
Status: Beta
Brought to you by:
lukaszkaiser
From: Lukasz S. <luk...@gm...> - 2009-08-28 13:23:40
|
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. On Fri, Aug 28, 2009 at 2:40 PM, Lukasz Stafiniak<luk...@gm...> wrote: > OK, I know the reason. > > On Fri, Aug 28, 2009 at 1:09 PM, Lukasz Stafiniak<luk...@gm...> wrote: >> Is there any reason behind extensive sorting when generating qdimacs? >> I'm not going to do that. >> > |