Package for symbolically exploring, counting, and locating real solutions to polynomial systems