neurosym → smtlib Relation

File in src/solvers/neurosym	Includes file in src/solvers/smtlib
neurosym_conv.cpp	oneshot_process.h
neurosym_conv.h	smtlib_conv.h