A development environment for robust and global optimization
A Flexible Branch and Bound Library for Julia