Implementation of an interval arithmetic branch-and-bound procedure to find the minimum of a binary real function over a box of domains