This solver performs domain reduction and subdivision to isolate the real root of a multivariate system in a box domain in arbitrary dimension.