/Yices-*.tar.gz
/cudd-*.tar.gz