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 |
| jwutil | jar | 1.0 | http://joeq.sourceforge.net/jwutil |
| maven-statcvs-plugin | plugin | 2.5 |