boolector → util Relation

File in src/solvers/boolector	Includes file in src/util
boolector_conv.h	symtab / namespace.h