[SMTCOMP] a question on the benchmark scrambler

[oliveras@lsi.upc.edu]

Hi all,

you are right, BCTL depends on this restriction. As Leonardo pointed,
I took that assumption from the SMT-LIB specification.

Cheers
Albert


> Hi Roberto,

>

>> I suspect barcelogic does depends on this restrictio. Am I
wrong?

>

> I don't know which tools depend on this restriction, but

> I don't see a problem with them since the SMT-LIB specifies this

> restriction.

>

> Leonardo

>

>

>


-------------- next part --------------
An HTML attachment was scrubbed...
URL: /pipermail/smt-comp/attachments/20060721/13e48adf/attachment.html