[SMT-LIB] [SMTCOMP] SMT-COMP: system submission deadline

[Paulo J. Matos]

On 04/08/06, Leonardo de Moura <demoura at csl.sri.com> wrote:
> Hi,
>
> The system submission deadline for SMT-COMP'06 is next Tuesday
> (August 8).
> For more information go to:
>

Hi, since, the solver binary during the competition will be called
with no flags and my solver needs some flags, can I send with the
executable a script which receives the formula through the stdin (as
requested by the rules) and sets the correct flags on the binary?

Thanks in advance,

Paulo Matos

> http://www.csl.sri.com/users/demoura/smt-comp/registration.shtml
>
> Best wishes,
> Leonardo for Aaron and Clark too.
>
>
>


-- 
Paulo Jorge Matos - pocm at sat inesc-id pt
Web: http://sat.inesc-id.pt/~pocm
Computer and Software Engineering
INESC-ID - SAT Group