implemented operator=(.), operator!=(.), and operator<(.) for result_type in backend/Z3_Context.hpp
implemented operator=(.), operator!=(.), and operator<(.) for result_type in backend/Z3_Context.hpp

finnhaedicke/metaSMT,agra-uni-bremen/metaSMT,finnhaedicke/metaSMT,hoangmle/metaSMT,finnhaedicke/metaSMT,nbruns1/metaSMT,agra-uni-bremen/metaSMT,hoangmle/metaSMT,nbruns1/metaSMT,agra-uni-bremen/metaSMT,nbruns1/metaSMT,hoangmle/metaSMT