[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 Paulo,
>

Hi,

> > 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?
>
> Yes, of course. Several participants did the same thing last year.
>

That's great, thanks!

> Cheers,
> Leonardo
>
>


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