changed PicoSAT SAT::tag::lit_tag to typedef result_type
changed PicoSAT SAT::tag::lit_tag to typedef result_type

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