This is an implementation of the AC-FOVE algorithm proposed by Kisynski (2010). AC-FOVE stands for Aggregation/Counting First Order Variable Elimination.
The package is provided as an API (Java) that can be used in other applications. See the Wiki for further details.
The core package does not depend on any external libraries. There are some dependencies if you try to run the test cases:
- junit 4.11: testing framework.
- hamcrest 1.3: matchers used to make tests more readable.
- velocity 1.7: templating framework used to build HTML logs.
Kisynski, J. Aggregation and Constraint Processing in Lifted Probabilistic Inference. PhD Thesis. University of British Columbia, 2010.