defaultFlags

Same as SolverFactory.defaultFlags, but with TrackVariables forced ON, since ProbLog resolution relies on variable substitutions being tracked to build correct explanations.