[SMT-LIB] scrambler

Michal Moskal michal.moskal at gmail.com
Fri Jun 15 05:52:48 EDT 2007


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ł



More information about the SMT-LIB mailing list