[SMT-LIB] scrambler

[Morgan Deters]

Hi Michal,

On Fri, Jun 15, 2007 at 11:52:48AM +0200, Michal Moskal wrote:
> is the same scrambler[1] by Leonardo going to be used this year? It
> retains :pat annotations, but it should probably drop them.

Thanks for raising this point.  Yes, we will be using the same
scrambler, except that we intend to drop :pat annotations as well.
I'll post details/source/etc. on smtcomp.org page when I've finalized
them.

Thanks,
Morgan
-- 
Morgan Deters
mdeters at morgandeters.com