feat(util/box): Set up domain in Box::Add for Boolean/Binary variables
feat(util/box): Set up domain in Box::Add for Boolean/Binary variables

dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4,soonho-tri/dreal4,dreal/dreal4