[SMT-LIB] scrambler

[Michal Moskal]

Hi folks,

is the same scrambler[1] by Leonardo going to be used this year? It
retains :pat annotations, but it should probably drop them.

BTW, the SMT-LIB web page has:
<a href="http://www.csl.sri.com/users/demoura/smt-comp/scrambler.shtml
target=_top">
instead of:
<a href="http://www.csl.sri.com/users/demoura/smt-comp/scrambler.shtml"
target="_top">

[1] http://www.csl.sri.com/users/demoura/smt-comp/scrambler.shtml

-- 
   Michał