[SMT-LIB] are there QF_UFBV[32] parser files somewhere ?

Clark Barrett barrett at cs.nyu.edu
Mon Jul 17 10:59:42 EDT 2006


The most up-to-date parser available is the front end of CVC Lite.  I suggest
you download the latest development version and have a look at the files
parser/smtlib.y and parser/smtlib.lex.  It shouldn't be too difficult to adapt
these to your own purposes.

-Clark


More information about the SMT-LIB mailing list