C

causal-inference

aGrUM is a C++ library designed for easily building applications using graphical models such as Bayesian networks, influence diagrams, decision trees, GAI networks or Markov decision processes.

Formalization of graphs in Agda with focus on graphs for studying causality