The following is a list of dependencies for this project. These dependencies are required to compile and run the application:
| Artifact ID | Type | Version | URL |
|---|---|---|---|
| javabdd | jar | 2.0 | http://javabdd.sourceforge.net/ |
| jdom | jar | 1.0 | http://www.jdom.org/ |
| jwutil | jar | 1.0 | http://joeq.sourceforge.net/jwutil/ |
| maven-statcvs-plugin | plugin | 2.5 | |
| weka | jar | 3.4.2 | http://weka.sourceforge.net/ |