btorLexer.c
btorLexer.h
btorParser.c
btorParser.h
btor.tokens
