Contact Information
Phone | +31 24 3653147 |
  | |
Mail | Giso H. Dal |
Radboud University | |
Faculty of Science | |
PO Box 9010 | |
6500GL Nijmegen | |
The Netherlands | |
  | |
Email | gdal at cs.ru.nl |
  | |
Visiting Address | Mercator 1 |
Room 01.09 | |
  | |
Located at: | |
Tournooiveld 212 | |
6525EC Nijmegen | |
The Netherlands |
Bayesian Networks and Weighted Model Counting tools
This package contains:
- Bayesian Networks (BN) in HUGIN format
- BN variable elimination orderings
- BN to Conjunctive Normal Form Compiler
- BN to WPBDD compiler
- BN to OBDD compiler (using CUDD)
- BN to ZBDD compiler (using CUDD)
- BN to SDD compiler (using SDD)
- BN to d-DNNF compiler (using ACE)
- Model Counter for inference
- A testing suite
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