diff --git a/packages/ProbLog/README b/packages/ProbLog/README index 6fc48e00a..65bd4f5b2 100644 --- a/packages/ProbLog/README +++ b/packages/ProbLog/README @@ -10,5 +10,9 @@ Please, consult http://dtai.cs.kuleuven.be/problog +and the examples directory + +problog_examples + for more information