A Package for Domain Reduction in Global Optimization - View it on GitHub