Attractors Compute attractors of Qualitative Networks using binary decision diagrams. Requires CUDD 3.0.0.