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