cd BDDc
make 32
cd ../BDDXc
make 32
cd ../BDD+
make 32
cd ..

