[SMT-LIB] minor updates to benchmarks

Domagoj Babic babic.domagoj at gmail.com
Tue Jun 19 16:39:41 EDT 2007


Hi,

On 6/18/07, Clark Barrett <barrett at cs.nyu.edu> wrote:
> Could it be that your parser doesn't like "and" taking more than two arguments?
> In fact, this is legal SMT-LIB format (if you check the grammar, you'll see
> that "and" and "or" can take any non-zero number of arguments).

Right, it's an AND with 297813 operands :-).

Anyways, all QF_BV benchmarks parse correctly now...

Regards,

-- 
        Domagoj Babic

        http://www.domagoj.info/


More information about the SMT-LIB mailing list