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