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

[Leonardo de Moura]

Hi Paulo,

> 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.

Cheers,
Leonardo