Bayesian Networks and Weighted Model Counting tools


This package contains:

Installation

Binaries can be found in directory bin, so building is not necessary.

Regardless, in order to retreive (and update) all neccesary repositories, type:

git submodule update --init --recursive

To build, type:

make

Testing

To test the compilers use test script run.py in directory test, for example:

./test/run.py --test compilation --network asia --bdd tdmg ace

./test/run.py --test inference --network asia --bdd agrum

Download

You can download the project from the Github page.