%DEPENDS%
cudd
gmp
libpoly

