bitwuzllob → util Relation

File in src/solvers/bitwuzllob	Includes file in src/util
bitwuzllob_conv.cpp	message / message.h