tddlog

The source code of tddlog is licensed under the Apache License 2.0
(LICENSE). The repository also holds copies of third-party programs and
data, under their own terms:

- tests/problog: programs from ProbLog's system test suite
  (https://github.com/ML-KULeuven/problog, test/*.pl), Apache License 2.0.
- tests/dice/caesar-recur.dice and tests/dice/recursion.dice: programs
  from Dice (https://github.com/SHoltzen/dice, commit 0ea228e,
  resources/), Apache License 2.0. The other programs there were written
  for tddlog.
- tests/networks/asia.net and examples/cancer.net: two Bayesian networks
  written out from their publications (Lauritzen and Spiegelhalter, 1988;
  Korb and Nicholson, 2004), under the Apache License 2.0 with the rest.

Each directory's README gives the source and commit of its files. The
repository's baselines branch holds further copies, listed in its NOTICE.
