Tree Decomposition
==================

Linux binary: aolib

Usage: aolib -f network_file -h {minfill,hypergraph} -fj jointree_file

network_file: can be either a Bayesian network in .simple format 
	       or a constraint network in .wcsp file format

jointree_file: the resulting join-tree in .dot (Graphviz) file format


Notes:
======

XBIF 1.0 is an XML based format for Bayesian networks used in the UAI'06 Inference Evaluation.
XCSP 2.0 is an XML based format for constraint networks used in CP'06 Competition

Limitations:
===========

The xcsp2wcsp.py script provided with the aolib library supports only the 
extensional representation of the constraints.

Benchmarks:
==========

Bayesian networks: http://ssli.ee.washington.edu/~bilmes/uai06InferenceEvaluation/
CSP: http://cpai.ucc.ie/06/Competition.html