neurosym → util Relation

File in src/solvers/neurosym	Includes file in src/util
neurosym_conv.cpp	message / message.h
neurosym_conv.cpp	arith / mp_arith.h