Subdivision Solver
Subdivision_solver is a solver for square systems of polynomial equations using exhaustive search in an initial bounded real domain given as a box (i.e. a vector of intervals). It is specifically designed to handle systems of large dense polynomials.