api/yices_*_version.c
frontend/smt1/smt_hash_keywords.h
frontend/smt2/smt2_hash_keywords.h
frontend/smt2/smt2_hash_symbols.h
frontend/smt2/smt2_hash_tokens.h
frontend/yices/yices_hash_keywords.h
