tddlog playground
Pick an example or write a program, in ProbLog or another format, and press Run. tddlog computes each query's exact probability in this tab. Nothing is uploaded. The guide covers the command line, Rust, Python and C.
Ctrl+Enter (⌘+Enter on a Mac) runs
the program, and Escape stops it. query/1 asks for a
probability, evidence/1,2 conditions on an observation.
A file dropped on the editor opens in it.
Each stage of the run, as tddlog --trace writes it.
loading the solver
Answers
The program is too long for a link; Download saves it.
Press Run.
The trials auto ran
Trace
What each stage of the run took in and gave out. How it works names the stages.
tddlog against the other exact systems, every answer checked against a reference: by program type, by baseline, by integration.