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

Leonardo de Moura demoura at csl.sri.com
Fri Aug 4 14:44:17 EDT 2006


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



More information about the SMT-LIB mailing list