rename package to cudd
removed cabal_command script
checkCube