[SMT-LIB] OCaml parser for SMT-LIB 2.0

cok@frontiernet.net cok at frontiernet.net
Wed Sep 1 14:41:56 EDT 2010


Should the line_comment definition be the equivalent of  ";.*"
(or is there something not expressed in the grammar about how comments are handled?)

- David

> On 30 Aug 2010, at 11:35, Aaron Stump wrote:
> 

> 
> > Cesare has looked through our grammar, and at this point, we believe
> it is
> > conformant to the SMT-LIB 2.0 standard.  That said, please let us
> know if
> > you find any bugs.
> > 
> > Thanks,
> > Aaron Stump and Kyle Krchak
> > The University of Iowa
> >
> -------------------------------------------------------------------------------------------------------
> > smtlib
> > 
> > line_comment = ";"
> > 


More information about the SMT-LIB mailing list