A JuMP-based Global Optimization Solver for Non-convex Programs - View it on GitHub