tighten upper bound constraints in BC algorithm
build miscellaneous programs using cabal