add return values of type InferenceTermination
add maxtime to parameter
add definitions for libdai
change strings for boost libraries